Implementation of a simple Bidirectional Typing Rules from paper http://davidchristiansen.dk/tutorials/bidirectional.pdf
npm run build
npm start
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Implementation of a simple Bidirectional Typing Rules from paper http://davidchristiansen.dk/tutorials/bidirectional.pdf
npm run build
npm start