Skip to content

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

feat: case and if for branching in rule synthesis.

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

Annotations

1 warning

tests (sbcl-bin)

succeeded Oct 29, 2024 in 2m 35s