https://github.com/code-star/idris-playground
Solving 99 problems with idris
https://github.com/code-star/idris-playground
Last synced: 2 months ago
JSON representation
Solving 99 problems with idris
- Host: GitHub
- URL: https://github.com/code-star/idris-playground
- Owner: code-star
- License: apache-2.0
- Created: 2016-08-10T08:45:19.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2016-08-10T08:45:19.000Z (almost 9 years ago)
- Last Synced: 2025-01-18T11:19:08.991Z (4 months ago)
- Size: 3.91 KB
- Stars: 0
- Watchers: 11
- Forks: 0
- Open Issues: 0