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:a6cfeb20a2ef28f492340ea2f26b0dbce7a8c68c
measure f :: Int -> Int one :: {v:Int| f v == v} one = 1