https://github.com/yubrot/titan
An experimental type checker implementation
https://github.com/yubrot/titan
haskell row-polymorphism type-system
Last synced: 5 months ago
JSON representation
An experimental type checker implementation
- Host: GitHub
- URL: https://github.com/yubrot/titan
- Owner: yubrot
- License: bsd-3-clause
- Created: 2019-05-26T14:19:13.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2022-11-23T01:46:40.000Z (about 3 years ago)
- Last Synced: 2025-06-18T09:48:47.012Z (7 months ago)
- Topics: haskell, row-polymorphism, type-system
- Language: Haskell
- Homepage: https://scrapbox.io/yubrot/Titan_Type_Checker
- Size: 98.6 KB
- Stars: 4
- Watchers: 1
- Forks: 0
- Open Issues: 0