fxdpntthm/type-checker

Simple implementation of ST LC type checker in Haskell

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

话题：algorithm-m · algorithm-w · haskell · lambda-calculus · type-system

在 GitHub 上查看原仓库