juliancoffee f3e8328717 Avoid negative bounds in harm checks ...

* disallow_harm -> allow_harm to avoid negative reasoning since it mostly
requires double negation in code
* allow_harm -> may_harm to specify side-effect free

2021-08-03 18:57:53 +03:00

..

src

Avoid negative bounds in harm checks

2021-08-03 18:57:53 +03:00

Cargo.toml

Properly fixed command parsing

2021-07-23 17:33:31 +01:00