diff options
| author | Gaetan Gilbert | 2017-04-30 13:10:48 +0200 |
|---|---|---|
| committer | Gaetan Gilbert | 2017-04-30 13:10:48 +0200 |
| commit | fdd5a8452bd2da22ffd1cab3b1888f2261f193b9 (patch) | |
| tree | f343f448f683430a6fc00f9e246745047279e1c3 /dev | |
| parent | 991b78fd9627ee76f1a1a39b8460bf361c6af53d (diff) | |
Functional choice <-> [inhabited] and [forall] commute
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions