diff options
| author | tslil <tslil@posteo.de> | 2026-04-27 18:07:06 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-04-27 18:20:24 +0100 |
| commit | 31de6d4406fa5663ecdbc1341521a61b86b13783 (patch) | |
| tree | 22e0a848e2e46f9a9e1ec425f2ac117053621d97 /src/checker_set.rs | |
| parent | c5ebf74c917b94c8499fa5cd2e125b04ec7529b4 (diff) | |
flip to agda-like grammar, sets & signatures do not have dots in their fields, but applications of those do as do constructions
Diffstat (limited to 'src/checker_set.rs')
0 files changed, 0 insertions, 0 deletions