Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
algebra
cofe.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