diff options
| author | Chimrod <> | 2023-10-06 08:37:23 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-15 19:04:36 +0200 |
| commit | 8ec89159f83b2c65995555f2c1a65e8ded950242 (patch) | |
| tree | b4eaed9d909a813862496f819a56c52f99d763cb /lib/syntax/dead_end.ml | |
| parent | a7e382aa2b31a4ec044bda12155818c22b33d989 (diff) | |
Added default syntax implementation
Diffstat (limited to 'lib/syntax/dead_end.ml')
0 files changed, 0 insertions, 0 deletions