PLFA agda exercises
branches: master experimental
haddock-components: all
cabal-check: False