Binders library that's used in many Iris developments.
All threads resolved!
All threads resolved!
This is the binders library that's being used in many Iris libraries (e.g. heap-lang, lambdarust, fairis, Iron, ...).
Since it's not Iris specific, I propose to put it in stdpp.
Merge request reports
Activity
- Resolved by Robbert Krebbers
added 1 commit
- 4d9d84b4 - Binders library that's used in many Iris developments.
- Resolved by Robbert Krebbers
added 1 commit
- 9054147a - Binders library that's used in many Iris developments.
mentioned in commit 0f2d2c8a
Please register or sign in to reply