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:e90884f8c865cb6b2842fe4c360bc34e4b3a1935
swh:1:dir:663c32839cc081703ab6e8cf3c7df2976fbf573e
top :: {v: Int | v == 5} top = let foo = \ n -> (foo n) in 5