Sha256: 667d4a8ae54ed00834d16b0859c3702595b65595377fc40040cd5e7de3348e16
Contents?: true
Size: 700 Bytes
Versions: 160
Compression:
Stored size: 700 Bytes
Contents
{
"language": "Coq",
"active": false,
"test_pattern": ".*[.]v",
"exercises": [
{
"uuid": "a001fd68-5913-4041-80ea-0558b269ba4f",
"slug": "hello-world",
"core": false,
"unlocked_by": null,
"difficulty": 1,
"topics": [
]
},
{
"uuid": "10a7ad13-8564-4713-853b-5b13a829ac50",
"slug": "rna-transcription",
"core": false,
"unlocked_by": null,
"difficulty": 1,
"topics": [
]
},
{
"uuid": "b647eb59-40ce-49c9-b0ce-775615ce0063",
"slug": "tautology",
"core": false,
"unlocked_by": null,
"difficulty": 1,
"topics": [
]
}
],
"foregone": [
]
}
Version data entries
160 entries across 160 versions & 1 rubygems