search

lambdageek / unbound-generics

Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
https://hackage.haskell.org/package/unbound-generics/
BSD 3-Clause "New" or "Revised" License
55 stars 18 forks source link

Add 'instantiate' operation to substitute a list of terms for a toplevel 'Bind pat term' #49

Closed lambdageek closed 2 years ago

lambdageek commented 2 years ago

Merge https://github.com/sweirich/unbound-generics/tree/instantiate Fixes #48

Re-implement substBind as a one-name type-safe specialization of instantiate.