samuela/bidirectional-typing

A bidirectional type checker

Haskell