-
Robbert Krebbers authored
Use solely canonical structures for language hierarchy. See merge request FP/iris-coq!90
eba7e9e4
To find the state of this project's repository at the time of any of these versions, check out the tags.
Use solely canonical structures for language hierarchy. See merge request FP/iris-coq!90