Received: from mail-ua0-f184.google.com ([209.85.217.184]:56885) by stodi.digitalkingdom.org with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.89) (envelope-from ) id 1eDrAs-0007q0-9j for lojban-list-archive@lojban.org; Sun, 12 Nov 2017 04:15:44 -0800 Received: by mail-ua0-f184.google.com with SMTP id d44sf7871264uai.15 for ; Sun, 12 Nov 2017 04:15:42 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1510488935; cv=pass; d=google.com; s=arc-20160816; b=B6ullF4H7oRygtsZ/MK3ijF9NALtXMMFm78gN4wblODXLbfrA5QtdUG1nqST6MDPpS icOCufg6YjjXKIsQPhHrvI2FyCl6fBPUyuV9mxyLN2ZX2ETNRGtaqMMc3jpywygfUw7v ApsCO5XtYrMBL0ArjUre3GNdPlBENmwbYE9Jsxz9W44Qnp/d+8qYOmljHQOa67CC2C5v cZF9IPkLoL588FtHeV1iPvC04YN8q+hX8v5jl648FMBeksqiFbvjzZDZOJAjDH1n88VS oCYCUzAhN4FOlsAja42lPrpJdEKW2WUbyJbAQJn7KZnje66prRcAp+VvA8ozvPRURw/G gqeg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:user-agent:in-reply-to :content-disposition:mime-version:references:message-id:subject:to :from:date:arc-authentication-results:arc-message-signature:sender :dkim-signature:arc-authentication-results; bh=zfjNsMqMX0PhSnlnmeVDdyhOdeNWTsECjybPeDbxPT0=; b=ZTMLpJ0Qu2pgsfQ+zkWd1BQi4SmkrOalIcOHvgQbvk4/2GTwe01kuIE/OkBHfl6eql wzjtmmHV1y0kHF43ZuvVQTkQJzQOyDyGl85G2wZ//tM0tI5/zvSbfoUZc9tIb6vQOSjV xufAZUTSZmYZ5hpkVpuALNj92rU4+K4aipVu7wKNgELosKgEFsm/P/FX6u6BGAYyKgho qzW0cKhZwE8NwAyBx5aHrsNfh5NauI0L7Cc4vQLZiVyjv6sLQ4ew0eFjgk3ot/imu1f3 dlP8d5bJUiHdLz/4tUYpe0A5p8zXPqOr2wz7EVVtnER0sssgaVnw42KZQMRzC/ZWIme8 Rbqw== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: best guess record for domain of mbays@sdf.org designates 205.166.94.20 as permitted sender) smtp.mailfrom=mbays@sdf.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:subject:message-id:references:mime-version :content-disposition:in-reply-to:user-agent:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe; bh=zfjNsMqMX0PhSnlnmeVDdyhOdeNWTsECjybPeDbxPT0=; b=sUsPzp693/+u5xOHUF5jTqWj9/Gwm73PcpY9Yv9iqGRK39H8/i87m7V1Km+GvqXqJw RLJsTWVYzAHbHUMtIyOrDDFJtvFTYTjl0DXDtr2BbvYwsKI4Ob53wd75cv4Z0X3ejGjN v0D2XbbSaH3aLMo3Hb5rJ4LrWRd4GDuJ4y74OdmupRt84ZvlW/bsa36E9invnoyeapPb eB7PQrb2SxGQITNhShf2pm7KB+FYiZkHRDkMlstawpQO8H30/204A8T8UVBzThJn8x1p FxhhBRiO3dDnV2Qcf/nP1y8Sr0LwDq9ps6uuoui1HCWDaQt5KMAS2WAG5D2GJMI90ysG dmfg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:date:from:to:subject:message-id :references:mime-version:content-disposition:in-reply-to:user-agent :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=zfjNsMqMX0PhSnlnmeVDdyhOdeNWTsECjybPeDbxPT0=; b=gfurnWHrJ3PgqpDVV249N9l8GGxINO+M2hkhGNnn9Wr2PbycVxYOg6vtbmzx9HcVYM K5/SayZF+drGy/56ItPQHx9zKFNXCZJO5mFMvpzCIjlwa2p12WOgiXGvP5XfcJYF5cu6 kcMRcHyG6Tg+P5BpplUmSe6DzRPbPyQVK3NWMbPVZpFUgyow9HWyaAp67haQuje9m1Tp CRGtDKPFYr41TcQZj4pRVgzrrZZfjOnBBo6/YL0OdB/C3duHt0whe4sHUcss4Sb8WBXx fwJ2L3pbPN9Li7OXBGvZjTwUwNWxxEs6sTgnsLWnKb+wdMhhBFLjyJv4ilrgeZ3uaJKa 7LCQ== Sender: lojban@googlegroups.com X-Gm-Message-State: AJaThX578wNqqFuEl+9+xWcSCMjEQ2NJ/pX8Sbfta9So/eYOQbK4ndjS Rutpsx2MgwRzdJFe7yiOtmU= X-Google-Smtp-Source: AGs4zMbBWDqg/oAphCW9DnB1AiUhEStlQZlvglx+q5iNRoKtf4L8oHypptotL3F7tDW6qQBz0A3XqA== X-Received: by 10.31.41.81 with SMTP id p78mr584327vkp.2.1510488935689; Sun, 12 Nov 2017 04:15:35 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.237.62.110 with SMTP id m43ls2798027qtf.6.gmail; Sun, 12 Nov 2017 04:15:35 -0800 (PST) X-Received: by 10.55.179.133 with SMTP id c127mr11690718qkf.28.1510488935345; Sun, 12 Nov 2017 04:15:35 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1510488935; cv=none; d=google.com; s=arc-20160816; b=zBLDnBJ8E9dSMnJVYsZqYTpSef6U3jw3yF077FLfsDL81L2cJrx9spG2zMR5YjIEoe E2JSCyQI1A1ntFT8PH7sFHl1UPds5O79uFjJ9kUgZm1IR0A/I6cy4rlR2TVsSTy5+3Ym BZyxG5jVXcjElTF2ZOkQWRdKYrHeiDAqKm0hQdcjQB6CO+LK6XeLZ7m1EevPJYPU3wHU 1PywULWnRHEN1wzwTcral/OlBjKbY64lX6/vxSFlATiRO+XLI3Ue2/I7AOprWmi0SRVU HHF7p0OyQFBvO2XoUO0qSf4aujyXY7fVSVf34M88QS35dY5RwSqEoM292OI2Xn4Pw5sQ aF6Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=user-agent:in-reply-to:content-disposition:mime-version:references :message-id:subject:to:from:date:arc-authentication-results; bh=BJRvydA21RikNq39lSBem/gdF9kSW1hKH5XkqXYbYBE=; b=wGNyYA2Rot3HnHtI9LEDhAAw07xH7g1IjJMmRUwaaZUX7i7xPIJrVRoYvv+t5VDKpv wTpdyFllUGNhhdZhw2jDFjTUc5ZEZq4RssTm39C1SqXTs2kEYZ4HvusZf7Ul7VDoZ/AI PW9vSQrNVlGL+fR91lDovcYsnvN27VAUOGVLzs5j7wHZ9P2LWif9FZaqJtcZYnnqZ/wO F42IaDrnou2NtRRXuUNBteRXFRpPIeOevAzxMhSFvf6ZEcfieca6e8AjlEfI5kDoFIC2 UjBNUlFrd25PQzHg49F3TTRFXy+0IABEOM8kaAMsxsTnd+ZDxXxwy+bYqovknFI2i3m1 mXOQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: best guess record for domain of mbays@sdf.org designates 205.166.94.20 as permitted sender) smtp.mailfrom=mbays@sdf.org Received: from mx.sdf.org (ol.sdf.org. [205.166.94.20]) by gmr-mx.google.com with ESMTPS id i8si963032qta.1.2017.11.12.04.15.34 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 12 Nov 2017 04:15:35 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of mbays@sdf.org designates 205.166.94.20 as permitted sender) client-ip=205.166.94.20; Received: from sdf.org (IDENT:mbays@sdf.lonestar.org [205.166.94.15]) by mx.sdf.org (8.15.2/8.14.5) with ESMTPS id vACCFXLd007234 (using TLSv1.2 with cipher DHE-RSA-AES256-GCM-SHA384 (256 bits) verified NO) for ; Sun, 12 Nov 2017 12:15:33 GMT Received: (from mbays@localhost) by sdf.org (8.15.2/8.12.8/Submit) id vACCFWKU000683 for lojban@googlegroups.com; Sun, 12 Nov 2017 12:15:32 GMT Date: Sun, 12 Nov 2017 12:15:32 +0000 From: Martin Bays To: lojban@googlegroups.com Subject: Re: [lojban] Re: CLL and modern Lojban Message-ID: <20171112121530.GA6511@SDF.ORG> References: <38c97c6d-7f22-48da-a55e-c748fbdb830f@googlegroups.com> <335313038.174144.1510412237273@mail.yahoo.com> <98db3894-350a-4361-84eb-d9033e0af862@googlegroups.com> <864278277.359141.1510451894891@mail.yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Disposition: inline In-Reply-To: X-PGP-Key: http://mbays.freeshell.org/pubkey.asc X-PGP-KeyId: B5FB2CD6 User-Agent: Mutt/1.8.3 (2017-05-23) X-Original-Sender: mbays@sdf.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of mbays@sdf.org designates 205.166.94.20 as permitted sender) smtp.mailfrom=mbays@sdf.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Spam-Checked-In-Group: lojban@googlegroups.com X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - * Sunday, 2017-11-12 at 12:55 +0100 - Ilmen : > Incidentally, there is a work-in-progress piece of software that aim to > translate back and forth between Lojban and a custom logical notation ; the > project is called Tersmu: https://gitorious.org/tersmu/tersmu/ I should probably clarify that work on it isn't really in progress any more, at least not by its original author (me). I'll try to maintain it, but I can't imagine getting back to working on it seriously any year soon. So I encourage anyone interested in developing the project further to fork it. -- 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 https://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout.