Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
Compare
Forked from Iris / Iris
2929 commits behind the upstream repository.
user avatar
Add missing `Proper` instances for non-expansiveness of HO-functions on lists.
Robbert Krebbers authored 
Copied from std++, but adapted from `≡` to `≡{n}≡`.
f6247dfd
History
user avatar f6247dfd
History