Sha256: ab4b22a2cff43ddc1159d241e99fb6fc629970903ff67191b6f24fb40474a6c5
Contents?: true
Size: 535 Bytes
Versions: 23
Compression:
Stored size: 535 Bytes
Contents
{
"slug": "coq",
"language": "Coq",
"repository": "https://github.com/exercism/xcoq",
"active": false,
"test_pattern": "TODO",
"exercises": [
{
"slug": "hello-world",
"difficulty": 1,
"topics": [
]
},
{
"slug": "rna-transcription",
"difficulty": 1,
"topics": [
]
},
{
"slug": "tautology",
"difficulty": 1,
"topics": [
]
}
],
"deprecated": [
],
"ignored": [
"bin",
"img",
"docs"
],
"foregone": [
]
}
Version data entries
23 entries across 23 versions & 1 rubygems