Skip to content

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

feat: case and if for branching in rule synthesis.

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

Annotations

1 warning

tests (sbcl-bin)

succeeded Oct 29, 2024 in 2m 36s