https://github.com/mheiber/etch-check

tiny rewriting type checker
https://github.com/mheiber/etch-check

Last synced: 21 days ago
JSON representation

tiny rewriting type checker

• Host: GitHub
• URL: https://github.com/mheiber/etch-check
• Owner: mheiber
• Created: 2021-09-04T22:15:01.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2021-09-04T23:08:09.000Z (over 3 years ago)
• Last Synced: 2024-10-16T01:44:14.663Z (2 months ago)
• Language: Standard ML
• Size: 17.6 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project