Guest0x0/pruning-tutor
a tutorial implementation on an elaborator of a dependently typed language with pruning
OCaml0BSD
No issues in this repository yet.
a tutorial implementation on an elaborator of a dependently typed language with pruning
OCaml0BSD
No issues in this repository yet.