name:                setoid
version:             0.1.0.0
-- synopsis:
-- description:
homepage:            https://github.com/plt-hokusai/setoid#readme
license:             BSD3
license-file:        LICENSE
author:              Abigail Magalhães
maintainer:          magalhaes.alcantara@pucpr.edu.br
copyright:           2020 Abigail Magalhães
category:            Web
build-type:          Simple
cabal-version:       >=1.10
extra-source-files:  README.md

executable setoid
  hs-source-dirs:      src
  main-is:             Main.hs
  default-language:    Haskell2010
  build-depends:       mtl
                     , syb
                     , base
                     , text
                     , ghc-prim
                     , containers
                     , unordered-containers

  other-modules:       Syntax
                     , Syntax.Pretty
                     , Presyntax
                     , Evaluate
                     , Elaboration
                     , Value
                     , Presyntax.Lexer
                     , Presyntax.Parser
                     , Elaboration.Monad