On Saturday, September 27, 2014 12:31:55 PM UTC-4, Martin Bays wrote:
You can test it without installing, either by talking to the bot 'tersmus' on
irc (#lojban on irc.freenode.net), or by sshing to thegonz.net with username
'tersmu', password 'tersmu'.
The source (GPLv3; written in haskell) is here:
http://gitorious.org/tersmu
If you have cabal, the haskell package management system, tersmu can be
installed with "cabal update && cabal install tersmu".
Some examples:
examples from CLL:
https://gitorious.org/tersmu/tersmu/raw/examples/16.loj
(that's chapter 16; change the number for other chapters)
alis (by paragraph):
https://gitorious.org/tersmu/tersmu/raw/alis:examples/alis.loj
Very cool!
Could you explain some of the notation, e.g.
non-veridical: FA x1. (gerku(f0(x1)) /\ srana(f0(x1),x1))
EX x1. viska(f0(x1),mi)