Guest0x0/pruning-tutor
a tutorial implementation on an elaborator of a dependently typed language with pruning
OCaml0BSD
Stargazers
- 2788Qiniu
- 5eqnDreamland
- alcidesLASIGE, University of Lisbon
- anqurvanillapy@Shopee
- beike-zh
- Butter934
- dannypsnl@second-state
- funemy
- illusory0x0
- intsucJapan
- jiangsy
- jthodge@rupahealth
- lukaszcz
- Mepy
- nikitavoloboevTbilisi
- noghartt@firefliesai
- powergiant
- RINNE-TANPivot Studio
- SchrodingerZhuUniversity of Rochester
- Trebor-HuangInternal cat of a doughnut
- vvvyz
- xuyifangreeneyes@PingCAP