PLFA agda exercises
packages:
  plfa.cabal

constraints:
  , citeproc <0.10
  , pandoc >=3

source-repository-package
  type: git
  location: https://github.com/wenkokke/shoggoth
  tag: 576a7165fc69a9d4d7c5695c597854f80f2cbb31