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
代码
评审变更
检出分支
下载
补丁
文本差异
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