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:b3cc39a9f184677180f22e7ae73c403010d2fb46
swh:1:dir:6b6273da6d999fdad6f7af407f2dc9063fe06054
fun :: rforall a. {v:a | True} -> {v:Int | v == 0} fun = \x -> 0