Rare find

higher-rank. A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism

github.com/lexi-lambda/higher-rank
by @lexi-lambda

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.