Sha256: f03cf6c365adf990de2716f80750cb6f4e53f3804d45623205002cdbc02b57bb

Contents?: true

Size: 254 Bytes

Versions: 200

Compression:

Stored size: 254 Bytes

Contents

# Exercism Idris Track

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

200 entries across 200 versions & 1 rubygems

Version Path
trackler-2.2.1.180 tracks/idris/README.md
trackler-2.2.1.179 tracks/idris/README.md
trackler-2.2.1.178 tracks/idris/README.md
trackler-2.2.1.177 tracks/idris/README.md
trackler-2.2.1.176 tracks/idris/README.md
trackler-2.2.1.175 tracks/idris/README.md
trackler-2.2.1.174 tracks/idris/README.md
trackler-2.2.1.173 tracks/idris/README.md
trackler-2.2.1.172 tracks/idris/README.md
trackler-2.2.1.171 tracks/idris/README.md
trackler-2.2.1.170 tracks/idris/README.md
trackler-2.2.1.169 tracks/idris/README.md
trackler-2.2.1.167 tracks/idris/README.md
trackler-2.2.1.166 tracks/idris/README.md
trackler-2.2.1.165 tracks/idris/README.md
trackler-2.2.1.164 tracks/idris/README.md
trackler-2.2.1.163 tracks/idris/README.md
trackler-2.2.1.162 tracks/idris/README.md
trackler-2.2.1.161 tracks/idris/README.md
trackler-2.2.1.160 tracks/idris/README.md