lambdageek/unbound-generics

Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)

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

话题：bound · ghc-generics · haskell-library · substitution · unbound · variable-binding

在 GitHub 上查看原仓库