Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Primary LanguageHaskellGNU General Public License v3.0GPL-3.0