GitHub repository: kmizu/tlambda
Primary language: Scala
Created: 2016-11-08T11:53:58Z
Description: TLambda: Extended Simply Typed Lambda Calculus Interpreter