GitHub repository: thsutton/rossum
Primary language: Haskell
Created: 2016-07-11T12:10:41Z
Description: Playground for abstract machines for evaluating lambda calculi.