jonsterling / dreamttLinks

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

Sorting: