bkomuves / nanohs
a self-hosting lambda calculus compiler
☆35Updated last month
Alternatives and similar repositories for nanohs:
Users that are interested in nanohs are comparing it to the libraries listed below
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.