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:dae260c5be74cdf18a0380f2c2e75f6be0e47152
parameter (pair (nat :l) (nat :r)); storage nat; code { CAR; CDR ; NIL operation ; PAIR }