diff options
| author | tslil <tslil@posteo.de> | 2026-04-28 13:00:17 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-04-28 14:16:10 +0100 |
| commit | a237c97e0c2c019edcfdfa17371059cd9ce975d9 (patch) | |
| tree | ff2181edd8a5d3ba2fa5d74119c4c3c517b97c16 /README.md | |
| parent | ef3d7a3ce2d6686d37f1b2446d5de31b29f5cd00 (diff) | |
rework checking logic to revolve around "stuck" computations, the meaning of Hypothetical is now reserved for formal bindings
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions