Repository navigation

refactor(FOL): derive Repr and add ToString for the syntax types - #40

Merged

arademaker merged 3 commits into

mainfrom

refactor/fol-tostring

Oct 19, 2026

Merged

refactor(FOL): derive Repr and add ToString for the syntax types#40
arademaker merged 3 commits into
mainfrom
refactor/fol-tostring

Commits on Oct 19, 2026
- refactor(FOL): derive Repr and add ToString for the syntax types
  arademaker
  committed
  f506fb0
- docs(FOL): use <| instead of $ in the ToString example
  arademaker
  committed
  5e5b514
- wip: operaor <|
  arademaker
  committed
  2c28c5b