diff options
| author | tslil <tslil@posteo.de> | 2026-04-27 09:46:17 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-04-27 09:47:47 +0100 |
| commit | f0906abd5aa3d9004b53454af92b44b3d908ec3c (patch) | |
| tree | e9c907e31f7048be8ad6f23a788d6641e685ce2e /src/checker.rs | |
| parent | 72d90e8649d43c8dbc5fc27322e84f0e96998c90 (diff) | |
change the "claimed set" notation to "set-of" so that David isn't confused
Diffstat (limited to 'src/checker.rs')
0 files changed, 0 insertions, 0 deletions