Skip to content
GitLab
Explore
Sign in
Iris
POPL20 Iris Tutorial
Repository
tutorial-popl20
solutions
compatibility.v
Find file
Blame
History
Permalink
fix a typo in compatibility.v
· 8060a3d5
Paul
authored
Oct 10, 2020
8060a3d5