Implementation of a simple Bidirectional Typing Rules from paper http://davidchristiansen.dk/tutorials/bidirectional.pdf
npm run build
npm start
dcottr/bidirectional-type-checker
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| 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