@hackage / proof-assistant-bot

Telegram bot for proof assistants

Latest0.2.2

Dependencies

library:proof-assistant-bot (16 dependencies)

@hackage / base Core data structures and operations
- Version: <4.18
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version:
- License: BSD-3-Clause
@hackage / stm Software Transactional Memory
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.3.1
- License: BSD-3-Clause
@hackage / telegram-bot-simple Easy to use library for building Telegram bots.
- Version: ==0.13
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / telegram-bot-api Easy to use library for building Telegram bots. Exports Telegram Bot API.
- Version:
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version:
- License: BSD-3-Clause
@hackage / process Process libraries
- Version:
- License: BSD-3-Clause
@hackage / async Run IO operations asynchronously and wait for their results
- Version:
- License: BSD-3-Clause
@hackage / dhall A configuration language guaranteed to terminate
- Version:
- License: BSD-3-Clause
@hackage / Agda A dependently typed functional programming language and proof assistant
- Version: >=2.6.4
- License: MIT
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version:
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version:
- License: BSD-3-Clause
@hackage / unix POSIX functionality
- Version:
- License: BSD-3-Clause
@hackage / rzk An experimental proof assistant for synthetic ∞-categories
- Version:
- License: BSD-3-Clause

executable:proof-assistant-bot (2 dependencies)