cabal-version: 2.4
name: proof-assistant-bot
version: 0.2.2
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.18
, async
, bytestring
, dhall
, directory
, filepath
, mtl >= 2.3.1
, process
, rzk
, stm
, telegram-bot-api
, telegram-bot-simple == 0.13
, text
, unix
, unordered-containers
-- interpreters
, Agda >= 2.6.4
exposed-modules: Proof.Assistant.Agda
, Proof.Assistant.Alloy
, 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.18
, proof-assistant-bot
hs-source-dirs: app
ghc-options: -Wall -O2 -threaded -rtsopts -with-rtsopts=-N
default-language: Haskell2010