diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2026-01-17 22:13:19 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2026-01-17 22:13:19 +1300 |
| commit | ab0154499e1b0ad8c3f104bc8a1d8ea7f1fb4a5c (patch) | |
| tree | e3ed8438d14e92c03b193693a6492db229f5e33d /src/kompsos-advanced_reify.ads | |
| parent | 52d24305fe9a5f47270b713708664d4968f75fed (diff) | |
Counter for next available Variable now held by each Goal instead of being global
Diffstat (limited to 'src/kompsos-advanced_reify.ads')
0 files changed, 0 insertions, 0 deletions