Skip to content
GitLab
Explore
Sign in
Simon Spies
stdpp
Repository
stdpp
theories
sets.v
Find file
Blame
History
Permalink
`SetUnfold` instances for `reverse` and `fmap` on lists.
· 4ff965b2
Robbert Krebbers
authored
Jun 25, 2019
This closes issue
#36
.
4ff965b2