A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
jonsterling/dreamtt
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
OCamlApache-2.0
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
OCamlApache-2.0