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:84d47dbb455849f2026ea03039fe7b27d3415e04
swh:1:dir:4f7030862e804fb674e63df9a580cd1fe30f6ff4
swh:1:rev:f94b06de7edcb61d3c49f19417e53dc7dc21d552
swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
let incr f = (f 0) + 1 let test1 = assert ( 11 = incr (fun x-> 10) ) let test2 m = assert ( (m+1) = incr (fun x -> m) )