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:ba10e5ee5cbff829f0b49dab33f32c81a114b5ff
swh:1:dir:6b6273da6d999fdad6f7af407f2dc9063fe06054
swh:1:rev:b6407e0f026cf5491ca5ed0a35ea5cf316ebe8ca
swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
foo :: set:(Set >Int) ~> sub:{v:Set >Int | setSubset set v} -> {v:Int | v ∈ set} -> {v:Int | v ∈ sub} foo = \sub -> \v -> v