juliancoffee 4766450258 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