diff options
| author | Brian Campbell | 2018-06-08 15:03:32 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-08 15:03:37 +0100 |
| commit | 70d2f7c92fb67c350794c7a71e1c9fba059e7940 (patch) | |
| tree | a7237f00187a0de4fcb83b2be2955167b2f729cf /doc/tutorial.tex | |
| parent | 7cdbee76d454047271ef6cdaa82a2b7e2ed590ba (diff) | |
Coq: some handling of existential types as function return types
Diffstat (limited to 'doc/tutorial.tex')
0 files changed, 0 insertions, 0 deletions