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
name: agda-algebras depend: standard-library-1.7 include: src