Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!351
fix big_sepM2_fmap and friend to work for keys other than nat
Code
Review changes
Check out branch
Download
Patches
Plain diff
Michael Sammler
requested to merge
msammler/iris-coq:big_sepM2_fmap_fix
into
master
Dec 20, 2019
Overview
2
Commits
1
Pipelines
0
Changes
1
Expand
Fixes
#283 (closed)
Merge request reports