icelandjack / bound Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ekmett/bound
Combinators for manipulating locally-nameless generalized de Bruijn terms
Home Page: http://hackage.haskell.org/package/bound
License: Other