Repository navigation

Migrate to Spago and update CI - #76

Merged

thomashoneyman merged 8 commits into

Oct 17, 2026

Merged

Migrate to Spago and update CI#76
thomashoneyman merged 8 commits into
masterfrom
migrate-spago

Commits on Oct 15, 2026
- Migrate to Spago and update CI
  thomashoneyman
  committed
  5414d8e
- Move benchmark modules into Spago source directory
  thomashoneyman
  committed
  ff5116e
- Put multiline conditional branches on separate lines
  thomashoneyman
  committed
  891a818
- Format PureScript and repository files
  thomashoneyman
  committed
  8acde06
- Credit migration pull request in changelog
  thomashoneyman
  committed
  364fd77
- Restore Unreleased changelog template and date proposed release
  thomashoneyman
  committed
  73dcd40
Commits on Oct 17, 2026
- Refine PureScript layout without changing generated code
  thomashoneyman
  committed
  3590d15
- Link Unreleased changelog section
  thomashoneyman
  committed
  73a9f45