Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
algebra
auth.v
Find file
Blame
History
Permalink
Bundle non-expansiveness with functors.
· 5f20821b
Robbert Krebbers
authored
Mar 07, 2016
So, only use the type class for contractive functors.
5f20821b