bmillwood/infer

Type inference for simply-typed lambda calculus

Haskell