GitHub repository: ucsd-progsys/elsa
Primary language: Haskell
Created: 2017-03-11T08:02:59Z
Description: Elsa is a lambda calculus evaluator