Skip to content
GitLab
Explore
Sign in
Simon Spies
Iris
Repository
iris
tests
telescopes.v
Find file
Blame
History
Permalink
Disable Implicit Generalization for Typeclass Arguments
· 334a07db
Simon Spies
authored
Oct 27, 2022
and
Ralf Jung
committed
Oct 27, 2022
334a07db