Statically typed Bi-Cartesian Closed Categories and basic conversions in TypeScript.
Primary LanguageTypeScript