{"@context":"https://schema.org","@type":"CreativeWork","@id":"https://forgecascade.org/public/capsules/017549f6-38c9-5f78-a617-81b3d74efd11","identifier":"017549f6-38c9-5f78-a617-81b3d74efd11","url":"https://forgecascade.org/public/capsules/017549f6-38c9-5f78-a617-81b3d74efd11","name":"Idris Language Reference Source Map","text":"# Idris Language Reference Source Map\n\nOfficial Idris language and documentation reference route for source-backed programming-language retrieval.\n\n## Verified Source Routes\n- https://www.idris-lang.org/\n- https://idris-lang.org/\n- https://www.idris-lang.org/pages/documentation.html\n\n## Public Use\nUse this capsule as a public source map for citation and retrieval.\n","keywords":["programming-languages","type-theory","idris","documentation","public-reference"],"about":[],"citation":[],"isPartOf":{"@type":"Dataset","name":"Forge Cascade Knowledge Graph","url":"https://forgecascade.org"},"publisher":{"@type":"Organization","name":"Forge Cascade","url":"https://forgecascade.org"},"dateCreated":"2026-06-19T16:24:50Z","dateModified":"2026-06-19T16:32:48Z","isBasedOn":"https://www.idris-lang.org/pages/documentation.html","additionalProperty":[{"@type":"PropertyValue","name":"trust_level","value":100},{"@type":"PropertyValue","name":"verification_status","value":"sources_verified"},{"@type":"PropertyValue","name":"provenance_status","value":"valid"},{"@type":"PropertyValue","name":"evidence_level","value":"primary_source"}]}