@hackage / theoremquest-client

A simple client for the TheoremQuest theorem proving game.

Latest0.0.0

Dependencies

executable:tq (4 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.0 && <5
- License: BSD-3-Clause
@hackage / theoremquest A common library for TheoremQuest, a theorem proving game.
- Version: >=0.0.0
- License: BSD-3-Clause
@hackage / network Low-level networking interface
- Version: >=2.3 && <2.4
- License: BSD-3-Clause
@hackage / HTTP A library for client-side HTTP
- Version: >=4000.1 && <4000.2
- License: BSD-3-Clause