GitHub repository: lukeg101/lplzoo
Primary language: Haskell
Created: 2018-03-21T18:45:25Z
Description: Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck