@hackage PTQ0.0.8

An implementation of Montague's PTQ.

Categories
- Natural Language Processing
License
LicenseRef-LGPL
Maintainer
Masahiro Sakai <masahiro.sakai AT gmail.com>
Links
Versions
- 0.0.8 Tue, 12 Sep 2017
- 0.0.7 Tue, 23 Dec 2014
- 0.0.6 Fri, 15 Aug 2014
- 0.0.5 Mon, 16 Nov 2009
- 0.0.4 Sat, 7 Nov 2009

Installation
In your cabal file:
Tested Compilers
- 7.10.3
Dependencies (0)
- base >=4.4 && <5
- containers
- mtl
- network <2.6
- network-uri >=2.6
- xml
Dependents (1)
@hackage/acme-everything

Package Flags

utf8terminal

(off by default)

Use UTF-8 for terminal I/O

utf8cgi

(on by default)

Use UTF-8 for HTTP contents

network-uri

(on by default)

Get Network.URI from the network-uri package

An implementation of Montague's PTQ (Proper Treatment of Quantification). It translates simple plain English sentences into formulas of intentional logic.

@hackage PTQ0.0.8

Categories

License

Maintainer

Links

Versions

Installation

Tested Compilers

Dependencies (0)

Dependents (1)

Package Flags