exaexa/minihm

toy implementation of Hindley-Milner type system that prints out inference steps

语言：Haskell · GitHub 星标：18 · Fork：0

话题：education · haskell · inference · type-system · types

在 GitHub 上查看原仓库