diff options
| author | Gaëtan Gilbert | 2020-07-20 13:54:13 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-11-16 11:21:16 +0100 |
| commit | ed6bee77f09200797a482c648b17ef5fa768aeac (patch) | |
| tree | f0f9add6d4b26fd0796de4d59085a3f85df1b43e /doc/tools | |
| parent | a947a60c334506b936312fb56cfd2c1d25145cc6 (diff) | |
Overlays for cumulative inductive syntax
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions