Sha256: 9c200e84aebbbd6fb51258d0a902cc6819cdec4349ef22c0f7800319dc927a47

Contents?: true

Size: 870 Bytes

Versions: 40

Compression:

Stored size: 870 Bytes

Contents

{
  "language": "Idris",
  "active": false,
  "ignored": [
    "_src",
    "bin",
    "docs"
  ],
  "foregone": [

  ],
  "exercises": [
    {
      "uuid": "b4b0db87-75a2-4c81-897f-b27d1fd4a7d6",
      "slug": "hello-world",
      "core": false,
      "unlocked_by": null,
      "difficulty": 1,
      "topics": [
        "optional values",
        "text formatting"
      ]
    },
    {
      "uuid": "2c7ab2e7-d87a-41ee-a81e-7572d7872562",
      "slug": "leap",
      "core": false,
      "unlocked_by": null,
      "difficulty": 1,
      "topics": [
        "Integers",
        "Booleans",
        "Arithmetic"
      ]
    },
    {
      "uuid": "7a1d481f-7f45-4646-81bc-7ca3c8cb5eb0",
      "slug": "hamming",
      "core": false,
      "unlocked_by": null,
      "difficulty": 2,
      "topics": [
        "Export Modifiers",
        "Vectors"
      ]
    }
  ]
}

Version data entries

40 entries across 40 versions & 1 rubygems

Version Path
trackler-2.2.1.44 tracks/idris/config.json
trackler-2.2.1.43 tracks/idris/config.json
trackler-2.2.1.42 tracks/idris/config.json
trackler-2.2.1.41 tracks/idris/config.json
trackler-2.2.1.40 tracks/idris/config.json
trackler-2.2.1.39 tracks/idris/config.json
trackler-2.2.1.38 tracks/idris/config.json
trackler-2.2.1.37 tracks/idris/config.json
trackler-2.2.1.36 tracks/idris/config.json
trackler-2.2.1.35 tracks/idris/config.json
trackler-2.2.1.34 tracks/idris/config.json
trackler-2.2.1.33 tracks/idris/config.json
trackler-2.2.1.32 tracks/idris/config.json
trackler-2.2.1.31 tracks/idris/config.json
trackler-2.2.1.30 tracks/idris/config.json
trackler-2.2.1.29 tracks/idris/config.json
trackler-2.2.1.28 tracks/idris/config.json
trackler-2.2.1.27 tracks/idris/config.json
trackler-2.2.1.26 tracks/idris/config.json
trackler-2.2.1.25 tracks/idris/config.json