README.md

Utlc and Stlc in Typescript

This is an implementation of Checking Dependent Types with Normalization by Evaluation: A Tutorial in TypeScript.

Build

npm install
npm run build

Run Unit Tests

npm test

Project Status

Since I have a chance to join in a new dt-language's development, this project will be temporarily stopped.