coord-e/impl-outsidein

Toy implementation of type inference for GADTs and TypeFamilies

语言：Haskell · GitHub 星标：9 · Fork：1

话题：type-inference

在 GitHub 上查看原仓库