diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-27 16:41:12 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-27 16:41:12 +0000 |
| commit | 13efe91101a11f41caf6321a8b2fbdd96ef9927a (patch) | |
| tree | 4444bb78783fda4d815a4ec91f44052e0de27383 /TODO | |
| parent | 4fba3e66dce0d167d2031a0d1f1f6f4571cbd981 (diff) | |
remove clausenr from terms, and put it into goals instead. Next up is implementing the control constructs in C, since they misbehave right now due to the new changesHEADfront
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions