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:bbd64a7c7172e77c5fb0e025ea6a721953bcb588
code { ISNAT } ; input { Stack_elt int 0 } ; output { Stack_elt (option nat) (Some 0) }