-
Robbert Krebbers authored
Try getting rid of total Core typeclass See merge request iris/iris!294
0dff154c
To find the state of this project's repository at the time of any of these versions, check out the tags.
Try getting rid of total Core typeclass See merge request iris/iris!294