Rare find

datatt. A dependent type theory with user defined data types

github.com/mmcqd/datatt

by

@mmcqd

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.