1 Repositories
Rust BidirectionalTypechecking Libraries
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" See arXiv:1306.6032 This implementation focusses on read
95 Dec 20, 2022