GitHub repository: michaeljsmith/ts-embed
Primary language: TypeScript
Created: 2020-06-03T23:56:25Z
Description: Demonstration of embedding a typed lambda calculus in TypeScript.