Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
algebra
fin_maps.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