Guest0x0 / pruning-tutorLinks

a tutorial implementation on an elaborator of a dependently typed language with pruning
23Updated 2 years ago

Alternatives and similar repositories for pruning-tutor

Users that are interested in pruning-tutor are comparing it to the libraries listed below

Sorting: