Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / idris-hackers / idris-koans

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-hackers%2Fidris-koans

Stars: 174
Forks: 27
Open Issues: 1

License: bsd-3-clause
Language: Idris
Repo Size: 15.6 KB
Dependencies: 0

Created: over 10 years ago
Updated: 2 months ago
Last pushed: about 6 years ago
Last synced: 2 months ago

Files
    Loading...
    Readme
    Loading...

    No dependencies found