https://github.com/jsonzilla/book_learning_idris
https://github.com/jsonzilla/book_learning_idris
Last synced: 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/jsonzilla/book_learning_idris
- Owner: jsonzilla
- Created: 2021-07-24T15:34:58.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2021-07-24T15:35:12.000Z (over 4 years ago)
- Last Synced: 2025-01-27T05:51:50.824Z (about 1 year ago)
- Language: Idris
- Size: 10.7 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0