diff options
| author | Théo Zimmermann | 2020-05-13 20:09:02 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-13 20:09:02 +0200 |
| commit | 4bfee4ce9ad032a08e7270cf2bee24e701f7f1b6 (patch) | |
| tree | a6ea56f11e9fff4f38ebc9617a5c9446263384ad /plugins/syntax/string_notation.mli | |
| parent | a403808cc4151242ec64d63df63b27128c539191 (diff) | |
| parent | 1d34b15750ae16bf2c3b5291d0b507ec9c2e8c23 (diff) | |
Merge sections on Inductive types and Recursive functions in new file.
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions