https://github.com/evermake/diploma
https://github.com/evermake/diploma
free-foil haskell hindley-milner type-systems
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/evermake/diploma
- Owner: evermake
- Created: 2024-11-06T14:09:17.000Z (7 months ago)
- Default Branch: main
- Last Pushed: 2024-12-05T09:19:15.000Z (6 months ago)
- Last Synced: 2024-12-31T04:13:13.423Z (5 months ago)
- Topics: free-foil, haskell, hindley-milner, type-systems
- Language: TeX
- Homepage: https://evermake.github.io/diploma/
- Size: 167 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files: