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.1.0.4 tracks/idris/README.md
trackler-2.1.0.3 tracks/idris/README.md
trackler-2.1.0.2 tracks/idris/README.md
trackler-2.1.0.1 tracks/idris/README.md
trackler-2.1.0.0 tracks/idris/README.md
trackler-2.0.8.55 tracks/idris/README.md
trackler-2.0.8.54 tracks/idris/README.md
trackler-2.0.8.53 tracks/idris/README.md
trackler-2.0.8.52 tracks/idris/README.md
trackler-2.0.8.51 tracks/idris/README.md
trackler-2.0.8.50 tracks/idris/README.md
trackler-2.0.8.49 tracks/idris/README.md
trackler-2.0.8.48 tracks/idris/README.md
trackler-2.0.8.47 tracks/idris/README.md
trackler-2.0.8.46 tracks/idris/README.md
trackler-2.0.8.45 tracks/idris/README.md
trackler-2.0.8.44 tracks/idris/README.md
trackler-2.0.8.43 tracks/idris/README.md
trackler-2.0.8.42 tracks/idris/README.md
trackler-2.0.8.41 tracks/idris/README.md