jonsterling / dreamtt

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
82Updated 3 years ago

Alternatives and similar repositories for dreamtt:

Users that are interested in dreamtt are comparing it to the libraries listed below