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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions