diff options
| author | Josh Chen | 2018-05-29 12:28:13 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-05-29 12:28:13 +0200 |
| commit | 607c3971e08d1ded22bd9f1cabdd309653af1248 (patch) | |
| tree | 256da6d96c3310c72a4fa2e87043382c77440cf0 /ex/HoTT book | |
| parent | 120879c099a2fb71e67a41a1c852c5db65e9eb4f (diff) | |
More rigorous rules for Product type. Propositions and proofs all working, but have to think about maybe relaxing the computation rule, or else automating the currying of dependent functions.
Diffstat (limited to 'ex/HoTT book')
0 files changed, 0 insertions, 0 deletions