Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
iris.v
Find file
Blame
History
Permalink
Internal equality, invariants & ownership. Fixed the visibility of R.res
· 368a2f5c
Filip Sieczkowski
authored
May 28, 2014
and the subsequent problem with instance preference in RecDom.PCM.
368a2f5c