Sha256: 2f57c41aff41b2b9c8d38687a96a36498514a1f75b9147e5a6ac3bbf5782d49f
Contents?: true
Size: 240 Bytes
Versions: 16
Compression:
Stored size: 240 Bytes
Contents
# xIdris Exercism problems in Idris. ## TODO _Document how to contribute to the Idris track._ ## Contributing Guide Please see the [contributing guide](https://github.com/exercism/x-api/blob/master/CONTRIBUTING.md#the-exercise-data)
Version data entries
16 entries across 16 versions & 1 rubygems