- ๐ Pronouns: he/him
- ๐ญ Iโm currently working on the Unison language
- ๐ซ I'm on Mastodon: @[email protected]
pchiusano / 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