mariszo / 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: https://www.schoolofhaskell.com/user/edwardk/bound
License: Other