Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
gmap.v
Find file
Blame
History
Permalink
Add docs for computation on [gmap], since they're a FAQ
· 8517b23b
Paolo G. Giarrusso
authored
Jul 02, 2020
Also, document why [simpl never] is not enough, with a link to an alternative design.
8517b23b