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:9e81b9ed3b8accca798aeaf28efa1b8ed58ea333
swh:1:dir:c4e644624b3a757d0f67a75a9850a6f17c3ae037
hrt :: rforall a. ((rforall b. ser:b -> b)) -> co:a -> a hrt = \x -> x