@hackage / prove-everywhere-server

The server for ProveEverywhere

Latest0.1.1

Dependencies

executable:prove-everywhere-server (15 dependencies)

@hackage / wai Web Application Interface.
- Version: >=3.0 && <3.1
- License: MIT
@hackage / parsers Parsing combinators
- Version: >=0.11 && <0.13
- License: BSD-3-Clause
@hackage / http-types Generic HTTP types for Haskell (for both client and server code).
- Version: >=0.8 && <0.9
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.1 && <1.3
- License: BSD-2-Clause
@hackage / aeson Fast JSON parsing and encoding
- Version: >=0.7 && <0.9
- License: BSD-3-Clause
@hackage / case-insensitive Case insensitive string comparison
- Version: >=0.2
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / process Process libraries
- Version: >=1.2 && <1.3
- License: BSD-3-Clause
@hackage / time A time library
- Version: >=1.4 && <1.6
- License: BSD-2-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10 && <0.11
- License: BSD-3-Clause
@hackage / optparse-applicative Utilities and combinators for parsing command line options
- Version: >=0.9 && <0.10
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3.1 && <3.2
- License: BSD-2-Clause
@hackage / safe Library of safe (exception free) functions
- Version: >=0.3 && <0.4
- License: BSD-3-Clause
@hackage / warp A fast, light-weight web server for WAI applications.
- Version: >=3.0 && <3.1
- License: MIT