Modernize build - #5

Merged

dbueno merged 10 commits into

Apr 25, 2026

Commits on Apr 25, 2026

Update for recent ghc
dbueno
committed
33a993a
Revitalize cabal test
dbueno
committed
ce9173d
Fix cabal warnings
dbueno
committed
a72a2be
Rm test.sh
dbueno
committed
8ee814a
Modernize cabal
dbueno
committed
9c95fe1
Update readme
dbueno
committed
632fa6c
Add release script
dbueno
committed
2a48fdb
Remove -prof warning
dbueno
committed
7e1b827
Add Github CI
dbueno
committed
80e91c3
Update urls
dbueno
committed
49d9c3e