diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-01 18:23:27 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-01 18:23:27 +0200 |
| commit | 6390f8d7e7dfe8c0311cffc2e928e93abb92714b (patch) | |
| tree | f49c559ab73cfbedcd4f7bd96eea03b9b5af4bed /tools/Scanner/Generator.lean | |
| parent | 1cb22cd29de924345cca651d0442b1fc56cf86db (diff) | |
try to properly deal with constructors
Diffstat (limited to 'tools/Scanner/Generator.lean')
0 files changed, 0 insertions, 0 deletions