hie.yaml

cradle:
  stack:
    components:
      - path: "./src"
        component: "autoproof:lib"
      - path: "./app/autoproof/Main.hs"
        component: "autoproof:exe:autoproof"
      - path: "./test/internal/formula/Main.hs"
        component: "autoproof:test:formula-test"
      - path: "./test/internal/judgement/Main.hs"
        component: "autoproof:test:judgement-test"
      - path: "./test/internal/proof/Main.hs"
        component: "autoproof:test:proof-test"
      - path: "./test/internal/parser/Main.hs"
        component: "autoproof:test:parser-test"
      - path: "./test/internal/dlist/Main.hs"
        component: "autoproof:test:dlist-test"
      - path: "./test/intuitionistic/prove-imp/Main.hs"
        component: "autoproof:test:prove-imp-test"
      - path: "./test/intuitionistic/is-tautology/Main.hs"
        component: "autoproof:test:is-tautology-test"
      - path: "./test/intuitionistic/prove-tautology/Main.hs"
        component: "autoproof:test:prove-tautology-test"
      - path: "./test/intuitionistic/prove-statman/Main.hs"
        component: "autoproof:test:prove-statman-test"
      - path: "./test/intuitionistic/prove/Main.hs"
        component: "autoproof:test:prove-test"
      - path: "./test/classical/glivenko/Main.hs"
        component: "autoproof:test:glivenko-test"
      - path: "./test/classical/provable/Main.hs"
        component: "autoproof:test:provable-test"
      - path: "./test/classical/cnf/Main.hs"
        component: "autoproof:test:cnf-test"
      - path: "./test/classical/sat-simple/Main.hs"
        component: "autoproof:test:sat-simple-test"
      - path: "./test/classical/sat-dpll/Main.hs"
        component: "autoproof:test:sat-dpll-test"