Sha256: 3ea4d9eabf052c19573657af134d5e6bda3fdab8652ded94aaf50551f1e9dff2
Contents?: true
Size: 660 Bytes
Versions: 22
Compression:
Stored size: 660 Bytes
Contents
{
"slug": "idris",
"language": "Idris",
"repository": "https://github.com/exercism/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
22 entries across 22 versions & 1 rubygems