Dreamtt
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
Install / Use
/learn @jonsterling/DreamttREADME
dreamtt
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
/learn @jonsterling/DreamttA pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
