yubrot/titan

An experimental type checker implementation

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

话题：haskell · row-polymorphism · type-system

在 GitHub 上查看原仓库