jonsterling/dreamtt
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
OCamlApache-2.0
Stargazers
- alan-j-huAmerica
- alcidesLASIGE, University of Lisbon
- amirDublin, Ireland
- anqurvanillapy@Shopee
- ayberktUniversity of Birmingham
- banacornTaipei, Taiwan
- beike-zh
- brendanzab@yeslogic
- cangiuli
- clayratIMDEA Software
- conilas@DietDoctor
- dannypsnl@second-state
- DemonstrandumUniversity of Nottingham
- esmolanka
- fly51flyPRIS
- gabriel-fallenKontur
- graydonVancouver, BC
- HaavareEVRY
- harrygallagher4New Orleans
- jaycech3nUniversity of Nottingham
- jonsterlingUniversity of Cambridge
- jozefgAarhus
- kyprifogSpotify
- L-TChenInstitute of Information Science, Academia Sinica
- marat-curiousMoscow
- MesablooFrance
- minadGermany
- nikitavoloboevTbilisi
- omar-3@sympower
- savi2w@creme-tech
- simfleischmanSimSpace
- tapeinosyne
- tkersey@thisisartium
- ur5usUnfolding Web
- vyorkin@zeriontech
- w1jtoo@skbkontur