diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-26 18:18:24 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-27 14:31:30 +0200 |
| commit | 9cf5d8dbfc6046adf92ba461b5a0a697fd578955 (patch) | |
| tree | 25fc0e06c4e236cd3c017084d075c9b967e9f50e /README.md | |
| parent | 86cf7103f8d34670bbc5ee5c4a52359f3b01381f (diff) | |
Improve inductive types subsection of the Gallina chapter.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions