@hackage / free-theorems-webui

CGI-based web interface for the free-theorems package.

Latest0.2.1.1

Dependencies

executable:free-theorems-webui.cgi (11 dependencies)

@hackage / cgi A library for writing CGI programs
- Version: >=3001.1.7.1
- License: BSD-3-Clause
@hackage / dataenc Data encoding library
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=3.0.3.1 && <5
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.1.0.1
- License: BSD-3-Clause
@hackage / csv CSV loader and dumper
- Version: >=0.1.1
- License: MIT
@hackage / xhtml An XHTML combinator library
- Version: >=3000
- License: BSD-3-Clause
@hackage / process Process libraries
- Version: >=1.1.0.0
- License: BSD-3-Clause
@hackage / time A time library
- Version: >=1.1.4
- License: BSD-2-Clause
@hackage / free-theorems Automatic generation of free theorems.
- Version: >=0.3.1.3 && <0.4
- License: LicenseRef-PublicDomain
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.9.1.4
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.0.0.2
- License: BSD-3-Clause