3 ms·

Typing Haskell in Haskell

• tmtvl 3y ago
  For the parenthetically inclined among us, there's also an implementation in Coalton: <https://github.com/coalton-lang/coalton/tree/main/examples/thih https://github.com/coalton-lang/coalton/tree/main/examples/t...>