Dreamtt Save
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
Project README
dreamtt
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
Open Source Agenda is not affiliated with "Dreamtt" Project. README Source: jonsterling/dreamtt
Stars
80
Open Issues
7
Last Commit
2 years ago
Repository
License
Open Source Agenda Badge
