Skip to content

feat: case and if for branching in rule synthesis. #14

feat: case and if for branching in rule synthesis.

feat: case and if for branching in rule synthesis. #14

Annotations

1 warning

tests (sbcl-bin)

succeeded Oct 29, 2024 in 2m 49s