https://github.com/lagleki/tersmu-0.2

https://github.com/lagleki/tersmu-0.2

Last synced: 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/lagleki/tersmu-0.2
• Owner: lagleki
• License: gpl-3.0
• Created: 2015-08-05T16:05:42.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2015-08-05T16:06:22.000Z (over 9 years ago)
• Last Synced: 2024-10-10T18:26:12.921Z (3 months ago)
• Language: Haskell
• Size: 207 KB
• Stars: 4
• Watchers: 4
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README
  • License: COPYING

Awesome Lists containing this project

README

        
tersmu-0.2

==========

tersmu is a semantic parser for the engineered human language Lojban

(www.lojban.org). It translates lojban text to a predicate logic.

Please note that this is an entirely unofficial project. Although the aim to

follow baseline prescription where feasible, the semantics this program

attributes to lojban text may in some cases be non-standard and/or wrong.

See the examples/ directory for some examples, BUGS for limitations, docs/ for

other documentation.

Installation

------------

tersmu is in hackage, so it should just be a matter of

    cabal install tersmu

Hacking

-------

Lojban.hs and Morphology.hs are generated from the corresponding .pappy files,

using a bugfixed version of Bryan Ford's Pappy. Please see the Makefile for

details on that.

docs/overview is intended as a guide to the general architecture of the code.