Open VictorCMiraldo opened 5 years ago
http://hackage.haskell.org/package/unbound-0.5.1.1/docs/Unbound-LocallyNameless.html#t:Name
http://hackage.haskell.org/package/unbound-0.5.1.1/docs/Unbound-LocallyNameless.html#t:Name