Sha256: fbb754d47cb14fcf0437a562054edd7fccf25a1da0ebf746ea4347547e4bdc97

Contents?: true

Size: 323 Bytes

Versions: 180

Compression:

Stored size: 323 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)

## License

The MIT License (MIT)

Copyright (c) 2016 Katrina Owen, _@kytrinyx.com

Version data entries

180 entries across 180 versions & 1 rubygems

Version Path
trackler-2.0.5.3 tracks/idris/README.md
trackler-2.0.5.2 tracks/idris/README.md
trackler-2.0.5.1 tracks/idris/README.md
trackler-2.0.5.0 tracks/idris/README.md
trackler-2.0.4.0 tracks/idris/README.md
trackler-2.0.3.9 tracks/idris/README.md
trackler-2.0.3.8 tracks/idris/README.md
trackler-2.0.3.7 tracks/idris/README.md
trackler-2.0.3.6 tracks/idris/README.md
trackler-2.0.3.5 tracks/idris/README.md
trackler-2.0.3.4 tracks/idris/README.md
trackler-2.0.3.3 tracks/idris/README.md
trackler-2.0.3.2 tracks/idris/README.md
trackler-2.0.3.1 tracks/idris/README.md
trackler-2.0.3.0 tracks/idris/README.md
trackler-2.0.2.0 tracks/idris/README.md
trackler-2.0.1.2 tracks/idris/README.md
trackler-2.0.1.1 tracks/idris/README.md
trackler-2.0.1.0 tracks/idris/README.md
trackler-2.0.0.10 tracks/idris/README.md