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:e500d6476f04dd11745f9accfefdf9540de8774f
[submodule "lib/agda-stdlib"] path = lib/agda-stdlib url = https://github.com/agda/agda-stdlib