Skip to content

(configurable, automated) builds and tests

we have a Makefile (to call agda and then ghc), and a cetera.cabal to describe the Haskell part. we want:

  • configurable location of agda-stdlib (currently, global configs in $HOME/.agda/ are being used by default)
  • make test (or cabal test) to run on examples in data/
  • run build and test in CI on this gitlab instance