hie.yaml

cradle:
  stack:
    - path: "./src"
      component: "modal-tableau-interpolation:lib"

    - path: "./exec/example.hs"
      component: "modal-tableau-interpolation:exe:example"

    - path: "./exec/Paths_modal-tableau-interpolation.hs"
      component: "modal-tableau-interpolation:exe:example"

    - path: "./exec/tapdleau.hs"
      component: "modal-tableau-interpolation:exe:tapdleau"

    - path: "./exec/Paths_modal-tableau-interpolation.hs"
      component: "modal-tableau-interpolation:exe:tapdleau"

    - path: "./test/basicmodal.hs"
      component: "modal-tableau-interpolation:test:basicmodal"

    - path: "./test/pdl.hs"
      component: "modal-tableau-interpolation:test:pdl"

    - path: "./test/propositional.hs"
      component: "modal-tableau-interpolation:test:propositional"