Guest0x0 / pruning-tutor
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
- Elaboration with inductive types☆16Updated last year
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- Benchmarking various normalization algorithms for the lambda calculus☆44Updated 2 years ago
- ShiTT is a toy proof assistant. (This project will be rewritten soon)☆33Updated 4 months ago
- a proof-of-concept programming language based on Call-by-push-value☆54Updated last week
- ♾️ A library for universe levels and universe polymorphism☆34Updated 3 months ago
- ☆16Updated 3 years ago