michallepicki / tibe

Ahnfelt's Type Inference by Example but implemented in Gleam

gleam type-inference typechecking types

tibe

Type Inference by Example but implemented in Gleam.

gleam test  # Run the tests

About

Ahnfelt's Type Inference by Example but implemented in Gleam

gleam type-inference typechecking types

Languages

Language:Gleam 100.0%