Repository navigation

Migrate to Spago and update CI - #76

Open

thomashoneyman wants to merge 6 commits into

Open

Migrate to Spago and update CI#76
thomashoneyman wants to merge 6 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