1 result found Sort:

lambdageek
unbound-generics lambdageek
18
56
bsd-3-clause
5
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
bound unbound ghc-generics substitution haskell-library variable-binding
Created 2014-08-01
200 commits to main branch, last one 8 months ago