ollef/Bidirectional
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
HaskellBSD-3-Clause
Stargazers
- 23Skidoo@primait
- abduld
- aeronavery
- andgateSeattle, WA
- andysonnenburgAshland, Massachusetts
- atennapelNetherlands
- baldvin@opus-futura
- bts@dropbox
- cartaziowellposed.com
- chessai
- danr@pharmbio
- doppioslashLiverpool, UK
- evincarofautumnGroq
- jfischoffCanonical LLC
- jmikkolaRaleigh, NC
- joom@Bloomberg
- jperras@fictivekin
- koeningerAustin, TX
- missingfaktorLondon, United Kingdom
- ndcroos
- nrolland
- objectxMeguro-ku, Tokyo
- ollefAscenium
- qerubdefsoftware
- robinvd@klippaApp
- sampeprima
- samuelaNYC
- soroNew York
- StekkeBelgium
- stragerBloomington, IN, USA
- themattchan@awakesecurity
- vmchale
- wangwangwarChengdu
- willtimLondon
- yfyfVilnius
- zaxtax