konna2.cabal

cabal-version:      2.4
name:               konna
version:            0.1.0.0

-- A short (one-line) description of the package.
-- synopsis:

-- A longer description of the package.
-- description:

-- A URL where users can report bugs.
-- bug-reports:

-- The license under which the package is released.
-- license:
author:             Eashan Hatti
maintainer:         eashanhatti@gmail.com

-- A copyright notice.
-- copyright:
-- category:

executable konna_compiler
    main-is:          Main.hs

    -- Modules included in this executable, other than Main.
    other-modules: Var, Core, Norm, Surface, Unification, Elaboration, Parsing, Elaboration.Error, Etc

    -- LANGUAGE extensions used by modules in this package.
    -- other-extensions:
    build-depends:    base ^>=4.15.0.0, containers^>=0.6.4.1, mtl, array, pretty-simple, text, binary, bytestring, extra
    hs-source-dirs:   compiler
    default-language: Haskell2010

executable konna_editor
    main-is: Main.hs
    other-modules: Surface, Parsing, Elaboration, Norm, Core, Unification, Var, Elaboration.Error, Etc
    build-depends: base ^>=4.15.0.0, text, text-show, mtl, containers, ansi-terminal, binary, bytestring, utf8-string, bifunctors, fused-effects, pretty-simple, syz, extra
    hs-source-dirs: editor, compiler
    default-language: Haskell2010