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:32903a279142c7845071865c716f200eab2fc6b9
one :: {v:Int| v == 1} one = let zero :: { v:Int | v == 0} = 0 in zero + 1