GitHub - lagleki/tersmu-0.2

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Pappy		Pappy
docs		docs
BUGS		BUGS
Bindful.hs		Bindful.hs
COPYING		COPYING
JboParse.hs		JboParse.hs
JboProp.hs		JboProp.hs
JboShow.hs		JboShow.hs
JboSyntax.hs		JboSyntax.hs
Logic.hs		Logic.hs
Lojban.hs		Lojban.hs
Lojban.pappy		Lojban.pappy
Main.hs		Main.hs
Makefile		Makefile
Morph.hs		Morph.hs
Morphology.hs		Morphology.hs
Morphology.pappy		Morphology.pappy
ParseM.hs		ParseM.hs
ParseText.hs		ParseText.hs
README		README
Setup.hs		Setup.hs
TODO		TODO
TersmuIRC.hs		TersmuIRC.hs
Util.hs		Util.hs
tersmu.cabal		tersmu.cabal
tersmuBot.hs		tersmuBot.hs

Repository files navigation

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.