diff options
| author | Maxime Dénès | 2017-05-05 15:40:04 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-05-05 15:40:04 +0200 |
| commit | 6ae72542dd5ec63775e75a3459c5064292b64e32 (patch) | |
| tree | a0ac2732e9f7cd1cbfc5ed6c8d35ecdf537d9693 /dev/include | |
| parent | 5548e5f6bc5446f7541cfc7d93b0b47e4b751e86 (diff) | |
| parent | 8adfa0e5290056b7683a3a8b778ca16182a1eb3d (diff) | |
Merge PR#593: Functional choice <-> [inhabited] and [forall] commute
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions