/TAPL-in-TypeScript

Yet another collection of implementations of TAPL (Types and Programming Languages) written in TypeScript.

Primary LanguageTypeScriptMIT LicenseMIT

TAPL-in-TypeScript

Yet another collection of implementations of TAPL (Types and Programming Languages) written in TypeScript.