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