Contents

{
  "slug": "idris",
  "language": "Idris",
  "repository": "https://github.com/exercism/xidris",
  "active": false,
  "deprecated": [

  ],
  "ignored": [
    "_src",
    "bin",
    "docs"
  ],
  "foregone": [

  ],
  "exercises": [
    {
      "slug": "hello-world",
      "difficulty": 1,
      "topics": [
        "optional values",
        "text formatting"
      ]
    }
  ]
}

Version data entries

4 entries across 4 versions & 1 rubygems

Version	Path
trackler-2.0.7.0	tracks/idris/config.json
trackler-2.0.6.44	tracks/idris/config.json
trackler-2.0.6.43	tracks/idris/config.json
trackler-2.0.6.42	tracks/idris/config.json