lib:proof-assistant-bot

Modules

• 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
• Proof.Assistant.Agda
• Proof.Assistant.Alloy
• Proof.Assistant.Arend
• Proof.Assistant.Bot
• Proof.Assistant.Helpers
• Proof.Assistant.Idris
• Proof.Assistant.Interpreter
• Proof.Assistant.Lean
• Proof.Assistant.RefreshFile
• Proof.Assistant.Request
• Proof.Assistant.ResourceLimit
• Proof.Assistant.Response
• Proof.Assistant.Rzk
• Proof.Assistant.Settings
• Proof.Assistant.State
• Proof.Assistant.Transport
• Proof.Assistant.Version

Dependencies

• Agda lib:Agda >=2.6.4
• async lib:async >=0
• base lib:base <4.18
• bytestring lib:bytestring >=0
• dhall lib:dhall >=0
• directory lib:directory >=0
• filepath lib:filepath >=0
• mtl lib:mtl >=2.3.1
• process lib:process >=0
• rzk lib:rzk >=0
• stm lib:stm >=0
• telegram-bot-api lib:telegram-bot-api >=0
• telegram-bot-simple lib:telegram-bot-simple ==0.13
• text lib:text >=0
• unix lib:unix >=0
• unordered-containers lib:unordered-containers >=0

Reverse dependencies

Direct only. Not exhaustive.

• proof-assistant-bot exe:proof-assistant-bot