Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!962
Some documentation about `Params` and `Proper`.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Robbert Krebbers
requested to merge
robbert/setoid_docs
into
master
Aug 03, 2023
Overview
16
Commits
3
Pipelines
7
Changes
1
Expand
This came up in
stdpp!493 (comment 94682)
TODO:
Refer back relevant documentation from Iris in std++, let's discuss in
stdpp#194
Edited
Aug 03, 2023
by
Robbert Krebbers
Merge request reports