home » zplus/dokk.git
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"
    }
}