{"id":16733246,"url":"https://github.com/msakai/ptq","last_synced_at":"2025-04-10T11:42:55.815Z","repository":{"id":1243457,"uuid":"1181815","full_name":"msakai/ptq","owner":"msakai","description":"An implementation of Montague's PTQ (Proper Treatment of Quantification).","archived":false,"fork":false,"pushed_at":"2017-09-12T23:53:56.000Z","size":99,"stargazers_count":7,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-03-24T10:38:48.870Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"http://msakai.jp/hiki/?hsPTQ","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"lgpl-2.1","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/msakai.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"COPYING","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2010-12-19T14:05:42.000Z","updated_at":"2023-07-30T23:19:50.000Z","dependencies_parsed_at":"2022-08-16T12:40:47.489Z","dependency_job_id":null,"html_url":"https://github.com/msakai/ptq","commit_stats":null,"previous_names":[],"tags_count":3,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Fptq","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Fptq/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Fptq/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Fptq/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/msakai","download_url":"https://codeload.github.com/msakai/ptq/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248211904,"owners_count":21065854,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-10-12T23:49:12.514Z","updated_at":"2025-04-10T11:42:55.793Z","avatar_url":"https://github.com/msakai.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"An implementation of Montague's PTQ in Haskell\n==============================================\n\n[![Build Status](https://secure.travis-ci.org/msakai/ptq.png?branch=master)](http://travis-ci.org/msakai/ptq) [![Hackage](https://img.shields.io/hackage/v/PTQ.svg)](https://hackage.haskell.org/package/PTQ)\n\nBuild and Install\n-----------------\n\n    % cabal configure\n    % cabal build\n    % cabal install\n\nUsage of interactive shell ptq\n------------------------------\n\n    % ptq\n    PTQ\u003e John seeks a unicorn.\n    Parsed:\n      F4 john (F5 seek (F2 a unicorn))\n    \n    Translation:\n      (\\x0. x0 {john}) (Int (seek (Int ((\\x0. \\x1. exists x2. x0 {x2} \u0026\u0026 x1 {x2}) (Int unicorn)))))\n    \n    Translation (simplified):\n      seek (Int (\\x0. exists x1. unicorn x1 \u0026\u0026 x0 {x1})) john\n    \n    ------------------------------------------------------\n    \n    Parsed:\n      F10 0 (F2 a unicorn) (F4 john (F5 seek (He 0)))\n    \n    Translation:\n      (\\x0. \\x1. exists x2. x0 {x2} \u0026\u0026 x1 {x2}) (Int unicorn) (Int (\\x0. (\\x1. x1 {john}) (Int (seek (Int (\\x1. x1 {x0}))))))\n    \n    Translation (simplified):\n      exists x0. unicorn x0 \u0026\u0026 seek (Int (\\x1. x1 {x0})) john\n    PTQ\u003e quit\n    %\n\nCGI interface\n-------------\n\nBy locating ptq.cgi, cgi/index.html and cgi/main.html to the place\nwhere CGI is executable, you can try it on the web.\nDemo site runs at \u003chttp://www.tom.sfc.keio.ac.jp/~sakai/hsPTQ/\u003e (currently not working).\n\nHaste interface\n---------------\n\nYou can use [Haste](http://haste-lang.org/) to compile haste/* and run on your browsers.\nDemo site runs at \u003chttp://msakai.github.io/ptq/demo/index.html\u003e.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmsakai%2Fptq","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmsakai%2Fptq","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmsakai%2Fptq/lists"}