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:5eb93d8af910234a998a6da51e5a15a9dad24e8b
swh:1:dir:663c32839cc081703ab6e8cf3c7df2976fbf573e
swh:1:rev:b6407e0f026cf5491ca5ed0a35ea5cf316ebe8ca
swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
one :: {v:Int| v == 1} one = let zero :: { v:Bool | 0 == 0} = 0 in zero + 1