Skip to content

Convert test infrastructure to tasty-golden based testsuite#450

Merged
jespercockx merged 12 commits intomasterfrom
copilot/improve-agda2hs-test-infrastructure
Nov 29, 2025
Merged

Convert test infrastructure to tasty-golden based testsuite#450
jespercockx merged 12 commits intomasterfrom
copilot/improve-agda2hs-test-infrastructure

Commits

Commits on Nov 28, 2025

Commits on Nov 29, 2025