brendanzab / elm-stlc

Bidirectional type checker for the simply typed lambda calculus
13Updated 4 years ago

Related projects

Alternatives and complementary repositories for elm-stlc