cabal-version:      2.4
name:               proof-assistant-bot
version:            0.2.0
synopsis:           Telegram bot for proof assistants
description:        Bridge between Telegram Bot and several proof assistants.
                    .
                    Currently following proof assistant supported: Agda, Arend, Coq, Idris 2, Lean, Rzk
                    .
                    See README.md for more details.
category:           Dependent types
homepage:           https://github.com/swamp-agr/proof-assistant-bot/
bug-reports:        https://github.com/swamp-agr/proof-assistant-bot/issues
license:            MIT
license-file:       LICENSE                    
author:             Andrey Prokopenko
maintainer:         persiantiger@yandex.ru

extra-source-files: CHANGELOG.md
                    README.md

library
    hs-source-dirs:   src
    ghc-options:      -Wall
    default-language: Haskell2010
    build-depends:    base < 4.17
                    , async
                    , bytestring
                    , dhall
                    , directory
                    , filepath
                    , mtl
                    , process
                    , rzk
                    , stm
                    , telegram-bot-simple >= 0.5.2
                    , text
                    , unix
                    , unordered-containers
                    -- interpreters
                    , Agda
    exposed-modules:  Proof.Assistant.Agda
                    , Proof.Assistant.Arend
                    , Proof.Assistant.Idris
                    , Proof.Assistant.Lean
                    , Proof.Assistant.Rzk

                    , Proof.Assistant.Bot
                    , Proof.Assistant.Helpers
                    , Proof.Assistant.Interpreter
                    , Proof.Assistant.RefreshFile
                    , Proof.Assistant.Request
                    , Proof.Assistant.ResourceLimit
                    , Proof.Assistant.Response
                    , Proof.Assistant.State
                    , Proof.Assistant.Settings
                    , Proof.Assistant.Transport
                    , Proof.Assistant.Version

                    , Agda.Interaction.Command
                    , Agda.Interaction.Command.EvalIn
                    , Agda.Interaction.Command.EvalTerm
                    , Agda.Interaction.Command.GiveMeta
                    , Agda.Interaction.Command.Internal.Parser
                    , Agda.Interaction.Command.RefineMeta
                    , Agda.Interaction.Command.Reload
                    , Agda.Interaction.Command.RetryConstraints
                    , Agda.Interaction.Command.ShowConstraints
                    , Agda.Interaction.Command.ShowContext
                    , Agda.Interaction.Command.ShowMetas
                    , Agda.Interaction.Command.ShowScope
                    , Agda.Interaction.Command.TypeIn
                    , Agda.Interaction.Command.TypeOf
                    , Agda.Interaction.State

                    , Idris.Interaction.Command
    autogen-modules:
        Paths_proof_assistant_bot
    other-modules:
        Paths_proof_assistant_bot

executable proof-assistant-bot
    main-is:          Main.hs

    -- Modules included in this executable, other than Main.
    -- other-modules:

    -- LANGUAGE extensions used by modules in this package.
    -- other-extensions:
    build-depends:    base ^>=4.14.3.0
                    , proof-assistant-bot
    hs-source-dirs:   app
    ghc-options:      -Wall -O2 -threaded -rtsopts -with-rtsopts=-N
    default-language: Haskell2010