@hackage PTQ0.0.4

An implementation of Montague's PTQ.

  • Installation

  • Dependencies (0)

  • 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

= An implementation of Montague's PTQ in Haskell

== Build and Install

You'll need GHC 6.7 or later.

% runhaskell Setup.lhs configure % runhaskell Setup.lhs build % runhaskell Setup.lhs install

== Usage of interactive shell ptq

% ptq PTQ> John seeks a unicorn. Parsed: F4 john (F5 seek (F2 a unicorn))

Translation: (\x0. x0 {john}) (Int (seek (Int ((\x0. \x1. exists x2. x0 {x2} && x1 {x2}) (Int unicorn)))))

Translation (simplified): seek (Int (\x0. exists x1. unicorn x1 && x0 {x1})) john


Parsed: F10 0 (F2 a unicorn) (F4 john (F5 seek (He 0)))

Translation: (\x0. \x1. exists x2. x0 {x2} && x1 {x2}) (Int unicorn) (Int (\x0. (\x1. x1 {john}) (Int (seek (Int (\x1. x1 {x0}))))))

Translation (simplified): exists x0. unicorn x0 && seek (Int (\x1. x1 {x0})) john PTQ> quit %

== Simple CGI interface

By locating ptq.cgi, cgi/index.html and cgi/main.html to the place where CGI is executable, you can try it on the web.

Currenly it also runs at ((URL:http://www.tom.sfc.keio.ac.jp/~sakai/hsPTQ/)).