Contents

{
  "language": "Idris",
  "active": false,
  "deprecated": [

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

  ],
  "exercises": [
    {
      "slug": "hello-world",
      "difficulty": 1,
      "topics": [
        "optional values",
        "text formatting"
      ]
    },
    {
      "slug": "leap",
      "difficulty": 1,
      "topics": [
        "Integers",
        "Booleans",
        "Arithmetic"
      ]
    },
    {
      "slug": "hamming",
      "difficulty": 2,
      "topics": [
        "Export Modifiers",
        "Vectors"
      ]
    }
  ]
}

Version data entries

4 entries across 4 versions & 1 rubygems

Version	Path
trackler-2.2.1.4	tracks/idris/config.json
trackler-2.2.1.3	tracks/idris/config.json
trackler-2.2.1.2	tracks/idris/config.json
trackler-2.2.1.1	tracks/idris/config.json