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:7da1dd9234f18fd199f7bfc2071e1579e754801a
swh:1:dir:29817e5c87bb55467269dad672f7f4b4152733d7
name: agda-algebras depend: standard-library-1.7 include: src