PrototypeCommon
JDemler/BidirectionalTypechecking
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
- Owner
- JDemler (personal account)
- Stars
- Stars: 120
- Forks
- Forks: 9
- Language
- Rust
- License
- None
- Created
- 2019
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Rust
All Rust repos- Day-OS/green-vitaStars: 120RustPrototype
- FoxDevCommunity/FoxDevStudioStars: 120RustPrototype
- michaelshimeles/bible-rsStars: 120RustPrototype
- dtantsur/rust-dhtStars: 120RustPrototype
- jjkt/zmuStars: 120RustPrototype
- SpaceManiac/opus-rsStars: 120RustPrototype