Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/benrbray/yagi-lang
Yagi is a toy language for understanding dependent type theory!
https://github.com/benrbray/yagi-lang
Last synced: 26 days ago
JSON representation
Yagi is a toy language for understanding dependent type theory!
- Host: GitHub
- URL: https://github.com/benrbray/yagi-lang
- Owner: benrbray
- Created: 2022-08-20T14:47:20.000Z (about 2 years ago)
- Default Branch: master
- Last Pushed: 2024-09-28T05:13:29.000Z (about 2 months ago)
- Last Synced: 2024-10-09T09:41:47.476Z (about 1 month ago)
- Language: Haskell
- Size: 142 KB
- Stars: 1
- Watchers: 1
- Forks: 1
- Open Issues: 0