JDemler/BidirectionalTypechecking
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
Rust
Stargazers
- 45degTokyo, Japan
- aanetoZyte
- alexgtnUpvest, ex Odin, Open Cosmos
- amirDublin, Ireland
- amovahDunno
- anqurvanillapy@Shopee
- bitemyapp
- brendanzab@yeslogic
- caotic123UFVJM - Universidade do Vale do Jequitinhonha e Mucuri.
- chin0incheon, Republic of Korea
- chrisosaurus@google
- DanielCollinsYangon, Myanmar
- DelmuratInternet
- dywedirKyiv, Ukraine
- egg-west
- g0xA52A2A
- graydonVancouver, BC
- haze@netflix
- jhagans3USA
- kyren
- martin-endress
- msiglreith
- munael
- pogaTaiwan
- rweSeattle, WA
- samanpa
- seanjensengreySeattle, WA
- tkersey@thisisartium
- ur5usUnfolding Web
- vbrandlGermany
- Vengarioth@skywardassembly
- viktorku@reaktor
- willi-kapplerUniversity of Tübingen / Geoscience
- YuraCobain
- ZhangHanDongBeijing, China
- zypehKuala Lumpur, Malaysia