A library for name-binding in Haskell that ensures adequacy and prevents binding-related bugs.
mpickering / hobbits Goto Github PK
View Code? Open in Web Editor NEWThis project forked from eddywestbrook/hobbits
A library for name-binding in Haskell that ensures adequacy and prevents binding-related bugs.
License: BSD 3-Clause "New" or "Revised" License