AndrasKovacs/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
HaskellBSD-3-Clause
Watchers
- alcidesLASIGE, University of Lisbon
- AndrasKovacs
- atennapelNetherlands
- bernsteinGerman Aerospace Center (DLR)
- Boarders
- davidad@protocol
- EarlGrayGoogle
- eemailme
- emmettng
- fpcMotif
- FranklinChenCarnegie Mellon University
- glaebhoerlHungary
- haroldcarrUnited States
- intsucJapan
- JacquesCaretteMcMaster University
- jevinskieLafayette, Indiana
- jhcloos
- jorge-jbsMadrid, España
- juanbono@lambdaclass
- kmicklasLondon
- lqd
- Luiz-Monad
- m0davis
- MarisaKirisame魔法の森, Gensokyo
- marsamPeru
- memoryruins
- muzinian
- mvrNYUAD
- ollefAscenium
- pashutk@atundra
- petersn
- RafaelBocquet
- scott-fleischman
- squidCatx
- timothyklim
- zjhmale