Skip to content
GitLab
Explore
Sign in
Rice Wine
Iris
Repository
iris
proofmode
classes.v
Find file
Blame
History
Permalink
Give the left instance of FromAnd (P1 ★ P2) P1 P2 precedence.
· e423686f
Robbert Krebbers
authored
Jul 03, 2016
That way type class search becomes more predictable.
e423686f