Repository navigation

Koz/cata conversion - #140

Merged

kozross merged 14 commits into

mainfrom

koz/cata-conversion

Dec 17, 2025

Merged

Koz/cata conversion#140
kozross merged 14 commits into
mainfrom
koz/cata-conversion

Commits on Oct 27, 2025
- BROKEN: basic cata refactor done
  kozross
  committed
  dc6f859
Commits on Oct 28, 2025
- BROKEN: Fix CataInternal to inscribe algebra, check that we have a suitable base functor in cata
  kozross
  committed
  92de057
Commits on Nov 3, 2025
- BROKEN: Fix up most tests
  kozross
  committed
  1592187
Commits on Nov 5, 2025
- Fix conformance
  kozross
  committed
  09e2d38
Commits on Nov 6, 2025
- Fix some tests
  kozross
  committed
  2b1b315
- Fix test definitions
  kozross
  committed
  00176d7
Commits on Nov 10, 2025
- Redraft cata
  kozross
  committed
  b1a9905
Commits on Nov 11, 2025
- Fix broken tests
  kozross
  committed
  35d6453
- Docs, changelog
  kozross
  committed
  2ce6af3
Commits on Dec 17, 2025
- Fixed conformance case
  gnumonik
  committed
  b14eb2a
- formatter
  gnumonik
  committed
  f9221f9
- Really annoying manual merge
  gnumonik
  committed
  434d2ca
- formatter
  gnumonik
  committed
  3fb7e3c
- Removed a redundant import that the local git hooks didn't catch for some reason which was breaking CI
  gnumonik
  committed
  3b96b79