https://github.com/freizl/type-and-programming-language-src
mirror from https://www.cis.upenn.edu/~bcpierce/tapl/checkers
https://github.com/freizl/type-and-programming-language-src
Last synced: 28 days ago
JSON representation
mirror from https://www.cis.upenn.edu/~bcpierce/tapl/checkers
- Host: GitHub
- URL: https://github.com/freizl/type-and-programming-language-src
- Owner: freizl
- Created: 2017-10-03T04:45:10.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2017-10-03T04:48:39.000Z (over 7 years ago)
- Last Synced: 2025-02-17T03:48:57.321Z (4 months ago)
- Language: OCaml
- Size: 79.1 KB
- Stars: 2
- Watchers: 1
- Forks: 2
- Open Issues: 0