KtorZ 8ffa68d2f0 Fix && and || associativity. ...

Somehow, these have always been right-associative, when the natural thing to expect is left-associativity. It now matters when trying to crawl down binary tree to display them properly.

2024-03-07 01:17:05 +01:00

..

src

Fix && and || associativity.

2024-03-07 01:17:05 +01:00

Cargo.toml

Display counterexamples as Aiken values instead of raw UPLC.

2024-03-03 19:33:24 +01:00