ID: 665a8522b99843a9467ff0cea500413d95a9b37c
28 lines
—
821B —
View raw
| {
"@context": {
"library": "dokk:vocab:library:",
"license": "dokk:vocab:license:",
"license:licensed_under": {
"@type": "@id"
},
"license:translation_of": {
"@type": "@id"
},
"blob": "dokk:vocab:blob:"
},
"@type": [
"library:Item"
],
"@id": "dokk:documentation_idris_language_v0.99",
"library:author": [
"The Idris Community"
],
"license:licensed_under": [
"dokk:license:CC0-1.0"
],
"library:title": "Documentation for the Idris Language Version 0.99",
"blob:at": {
"@id": "file:/pdf/documentation_idris_language_v0.99.pdf",
"blob:primary_source": "https://docs.idris-lang.org/_/downloads/en/v0.99/pdf/",
"blob:retrieval_date": "2023-10-13"
}
}
|