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:6219ce71bae66db26fcc4c6eeae728d938280ac1
swh:1:dir:ed88faac081fec0a4a62f18b46f7db9bc9a62ad3
swh:1:rev:b39be83a9375eb9a70fb12c9e7040413eb4a2a8d
swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
[submodule "liquid-fixpoint"] path = liquid-fixpoint url = git@github.com:ucsd-progsys/liquid-fixpoint