Received: from mail-yh0-f58.google.com ([209.85.213.58]:57151) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XXxcf-0006EQ-VF for lojban-list-archive@lojban.org; Sat, 27 Sep 2014 12:25:43 -0700 Received: by mail-yh0-f58.google.com with SMTP id f10sf1588323yha.13 for ; Sat, 27 Sep 2014 12:25:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:cc:message-id:in-reply-to:references:subject :mime-version:x-original-sender:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=ugTJQp7O+GiTXX5thgyaY7rbWzcUbu0H8x/70+LoGNY=; b=KQl+YBRIxP5p18Gwzb7/d087BJ5xkwxn0YgkQEHVxzl7u9n3UGZNZ2OqxKoIBUuVir jwLPgk0kDR61NjuUcKoJXEe5GC5VA7PechueATcTLlnE4KKtxV/m1MCcXTB2qrKdpqh/ /ozjIZqmcneq1T42FmYPL6vTXBVVRA/fbD6CRdwfx2GTfRio94GLqMgmpcO+ceU8EDQH akiUNUK8XX1Jmmjqtc2JjuxbxU72bwxzx/7vtnWnlgAYsTu5nA2tNYy9Uqv7o41OolMH qKrh2m4+EVeet8aBH9LgfQ1NXG9wuWqWd9NXrx8m9bVtDGV6MRfwAFIY/ss78ZvFGlEr B57Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:cc:message-id:in-reply-to:references:subject :mime-version:x-original-sender:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=ugTJQp7O+GiTXX5thgyaY7rbWzcUbu0H8x/70+LoGNY=; b=cH9LQ+cXf/D/eWCoO6cp3p/MdNGxK28cg4PqMB60UD8z9WyIe8haE7i3hRquuFntjL cky00Cil7rILiUuWiX1DeGgRjNYwqCi6gbAzd0iLLMgRkUwbu3Lq2qZgyq9q+H+owFfT /tOYU2+y8i/LZ07loF0C9P/kl6q4HdOlsQgPBPGTOxUwBzxCDOcdWD9I8bv75rn2P98w TSwQyF2F0cJfIelquzesK0fpgCTw/h6kbC6vDNRoOc7VJ5GekR2yhqBGR7OTsFjR3M8d MvxyM7G6fAWroDroMCgUOgVmVNFXXtrJwEwZVujHUq3+prU0YeCdqxYHRGhFxhCV40XM uB+g== X-Received: by 10.140.102.110 with SMTP id v101mr301qge.6.1411845931256; Sat, 27 Sep 2014 12:25:31 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.140.94.239 with SMTP id g102ls132472qge.74.gmail; Sat, 27 Sep 2014 12:25:30 -0700 (PDT) X-Received: by 10.140.93.79 with SMTP id c73mr223qge.9.1411845930896; Sat, 27 Sep 2014 12:25:30 -0700 (PDT) Date: Sat, 27 Sep 2014 12:25:30 -0700 (PDT) From: TR NS To: lojban@googlegroups.com Cc: mbays@sdf.org Message-Id: <3c3b1c5e-cac2-42df-9d67-553a849789d3@googlegroups.com> In-Reply-To: <20140927163121.GO28734@gonzales> References: <20140927163121.GO28734@gonzales> Subject: [lojban] Re: tersmu 0.2 MIME-Version: 1.0 X-Original-Sender: transfire@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary="----=_Part_1390_2025111954.1411845930179" X-Spam-Score: -2.0 (--) X-Spam_score: -2.0 X-Spam_score_int: -19 X-Spam_bar: -- ------=_Part_1390_2025111954.1411845930179 Content-Type: text/plain; charset=UTF-8 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) -- You received this message because you are subscribed to the Google Groups "lojban" group. To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout. ------=_Part_1390_2025111954.1411845930179 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


On Saturday, September 27, 2014 12:31:55 PM UTC-4,= Martin Bays wrote:
You can tes= t it without installing, either by talking to the bot 'tersmus' on
irc (#lojban on irc.freenode.net), or by sshing to thegonz.net<= /a> 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; cha= nge the number for other chapters)
    alis (by paragraph):
        https://gitorious.org= /tersmu/tersmu/raw/alis:examples/alis.loj=20



Very cool!

Co= uld you explain some of the notation, e.g. 

<= pre style=3D"color: rgb(0, 0, 0); word-wrap: break-word; white-space: pre-w= rap;">non-veridical: FA x1. (gerku(f0(x1)) /\ srana(f0(x1),x1)) EX x1. viska(f0(x1),mi)
 

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http:= //groups.google.com/group/lojban.
For more options, visit http= s://groups.google.com/d/optout.
------=_Part_1390_2025111954.1411845930179--