Dependencies for proof-assistant-bot-0.2.0
Libraries
proof-assistant-bot
- Agda
- async
- base (<4.17)
- bytestring
- dhall
- directory
- filepath
- mtl
- process
- rzk
- stm
- telegram-bot-simple (>=0.5.2)
- text
- unix
- unordered-containers
Executables
proof-assistant-bot
- base (>=4.14.3.0 && <4.15)
- proof-assistant-bot