https://github.com/akifev/type-theory
Type Theory in ITMO, 2019
https://github.com/akifev/type-theory
haskell itmo type-theory
Last synced: about 1 month ago
JSON representation
Type Theory in ITMO, 2019
- Host: GitHub
- URL: https://github.com/akifev/type-theory
- Owner: akifev
- Created: 2019-10-19T18:53:23.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2019-12-07T03:05:04.000Z (about 6 years ago)
- Last Synced: 2025-01-18T23:51:04.171Z (about 1 year ago)
- Topics: haskell, itmo, type-theory
- Language: Haskell
- Homepage:
- Size: 18.6 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0