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:f4e299270a5ae04e60241ec959a23bb894dbc332
[submodule "liquid-fixpoint"] path = liquid-fixpoint url = https://github.com/ucsd-progsys/liquid-fixpoint