diff options
| author | Olivier Laurent | 2020-03-30 19:14:00 +0200 |
|---|---|---|
| committer | Olivier Laurent | 2020-04-01 15:49:41 +0200 |
| commit | 74d733a11cd942847a24fedca9cbc0583190162d (patch) | |
| tree | abafffe80720e2972db963475f57572dc729de6f /doc/plugin_tutorial/tuto1/src/simple_check.ml | |
| parent | e1427c1d803a975784cdb9375dbca9da33c58c6c (diff) | |
add tests for notations with sigma types
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_check.ml')
0 files changed, 0 insertions, 0 deletions