GitHub repository: utatatata/untyped-lambda-calculus
Primary language: CSS
Created: 2019-10-07T11:28:49Z
Description: A PureScript implementation of the untyped lambda calculus