Dependencies for proof-assistant-bot-0.2.2
Libraries
proof-assistant-bot
- Agda (>=2.6.4)
- async
- base (<4.18)
- bytestring
- dhall
- directory
- filepath
- mtl (>=2.3.1)
- process
- rzk
- stm
- telegram-bot-api
- telegram-bot-simple (==0.13)
- text
- unix
- unordered-containers
Executables
proof-assistant-bot
- base (<4.18)
- proof-assistant-bot