neel-krishnaswami/inverse-bidirectional-typechecking
A Toy Inverse Bidirectional Typechecker
OCamlGPL-3.0
Stargazers
- alinabNCSA, University of Illinois Urbana-Champaign
- amirDublin, Ireland
- anton-trunovhttps://tonstudio.io
- arsalan0cSingapore
- ayberktUniversity of Birmingham
- bracevacWorking on Scala @ EPFL
- brendanzab@yeslogic
- chrisnevers@reach-sh
- clayratIMDEA Software
- cpresseyOffice... submarine!
- dannypsnl@second-state
- dipeshkaphle@delta
- doctor-pi
- esnekoLatvia
- hazer-hazerAnxious development
- ilya-klyuchnikov@facebook
- jvalinsky
- KraksINRIA/ENS; Tufts
- kskyten
- malowebi
- michallepicki
- nikitavoloboevMadrid
- philzook58Draper
- rlarson20NYC, New York
- ryankeletiNew England
- steshaw@tweag
- timothyklim
- tkersey@thisisartium
- vrnithinkumarMunich
- XSnowslow@xsnow.live
- yy-zhongNanjing, China