_CoqProject · ecbac61a665c27d44c9ab2e7d2a27c55a7d3d4be · Tej Chajed / iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

9 years ago
5b0c6378
Introduce cofeT -> cofeT functors, switch to bifunctors. · 5b0c6378
Robbert Krebbers authored 9 years ago
```
This cleans up some ad-hoc stuff and prepares for a generalization
of saved propositions.
```
5b0c6378

History
Introduce cofeT -> cofeT functors, switch to bifunctors.
Robbert Krebbers authored 9 years ago
```
This cleans up some ad-hoc stuff and prepares for a generalization
of saved propositions.
```