GitHub repository: kfish610/lambda-calc-tooling
Primary language: TypeScript
Created: 2020-02-08T06:26:58Z
Description: Tooling for vscode for the lambda calculus.