Skip to content

Unification using unification-fd - #140

Closed
chrisdone-artificial wants to merge 5 commits into
mainfrom
cd/2026-08-15-unfication-fd-take-2
Closed

Unification using unification-fd#140
chrisdone-artificial wants to merge 5 commits into
mainfrom
cd/2026-08-15-unfication-fd-take-2

Drop old commentary

8703863
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
tests
succeeded Aug 17, 2026 in 1m 30s