To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used. Select below a type of object currently browsed in order to display its associated SWHID and permalink.
swh:1:cnt:d84504d4c52558fba7f49a6d8e4fe1fc1658d294
name: substitution depend: include: ./ ./src/ ./lib/agda-stdlib/src/
