eddywestbrook/hobbits

A library for name-binding in Haskell that ensures adequacy and prevents binding-related bugs.

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

在 GitHub 上查看原仓库