Return-path: Envelope-to: lojban-list-archive@lojban.org Delivery-date: Sat, 16 Jan 2021 15:37:40 -0800 Received: from mail-qv1-f63.google.com ([209.85.219.63]:49891) by stodi.digitalkingdom.org with esmtps (TLS1.3) tls TLS_AES_128_GCM_SHA256 (Exim 4.94) (envelope-from ) id 1l0v8P-00AJqI-1B for lojban-list-archive@lojban.org; Sat, 16 Jan 2021 15:37:40 -0800 Received: by mail-qv1-f63.google.com with SMTP id x19sf12011819qvv.16 for ; Sat, 16 Jan 2021 15:37:32 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1610840250; cv=pass; d=google.com; s=arc-20160816; b=TOInI8NyOx6kRjAWGXQAra0iv0Qb5K0D8CIATGXKh7J+92D/GR1RgIvp/UaD9yV4DZ swzI+OyGU80nDroLcvTJQN3vlHt7IwPyBXjJh4jkmEYlttPPnu4hNb8R5vKgs6X5Z1eX lFZSJElQf5V5El6i7rmeodYvOEQNyRjiVzExG6FUKXeZU4sXju5DcwBst3WTg9WG8SVY UxFV4NQCZ+/eUnUtM3Ttgjma4O3f5RvBRhWaJf3ZDpZqJAPU6PcNm+NhdDQ6BzETEXgf +rLNXJK+e/Y98qdvUIyrx8BFAY+QE/2xLwXlUJu6VcFk+D5y8iQ5XiL7vxgw0wF3M4pO NcqQ== 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:mime-version:message-id :in-reply-to:date:references:subject:to:from:sender:dkim-signature; bh=TUQuDg5ZwQoiUZLLM2qXdiqBsq4lHmQpZ/JqURKPa2I=; b=xYf6Hv1L7FpgqID5mBjFaMXp5VD3agDfa8gt/G+5s9Yq1XSo/JWUXNHcyV2QKjq5nq 9xFEhl7WJNvuH5gqyKrByxbtxmqc5B78UKjS4BB07XR9w2kA962etrl7JgGu7jMJL3Jj spYgGJoXprmqAad5XH1o24bpOCwh7f9Aq19V9gHQXR7EyN2syPESwH4cj+U7+E3Cawbb H3c9e/zpkDmwASwSfGzOgeurAaU59E4XH/NNy/hQ3ie2J2ciGR6rILGFxRC1OQlS4W3B ize8zyBya0DbizOlSque2aB4G30pkgF/YlVfgFT2wR7489w1sT+21zb6WANjVNpZJ6hP JaYA== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) smtp.mailfrom=scope845hlang343jbo@icebubble.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:to:subject:references:date:in-reply-to:message-id :mime-version: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=TUQuDg5ZwQoiUZLLM2qXdiqBsq4lHmQpZ/JqURKPa2I=; b=FuUv8KakYfCVyoMr9lSnnDFZvIzjk3nJR99C7nIFqydm0GlTqqGvgS+rQxLbRagC7P G+30tFOHJFbRadQJ3KCP8A2iyHVsPTaVLt+xEDtcTDFpLsn1XkC/fHtfe36hHvNTYzDk EEns3OGfljGvb8Dd7jPWGGkwzHV5G8EIdNd2oJm7Y9EVBBuIui5rqugQKcN5ghC6u950 8qnEq6Ir289Urout+9RITBIs2qG0og6g8ZIAmyNomAWX5zvaoWAhwrXoEYOFag/4O075 eBAhaxsvQN4JBir0FiFf5NA75J8E9MEDEEoar76qjP8uSnTfXzWpBCZRh+6wu1/EypOF NlEg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:to:subject:references:date :in-reply-to:message-id:mime-version: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=TUQuDg5ZwQoiUZLLM2qXdiqBsq4lHmQpZ/JqURKPa2I=; b=Lab+RwAOwVW+ftgetTlv9acj3g4yx31+9BM7EY4/nX/fYm/m/n2p1PTCXohSjm7hmj EI240aKcFvCvuV4l1SpreWx//30ksziRvQ8YfmJvvP1w0KAP4As4WeJwjZ2KUWqeuYg9 Z4Ws8F7W1yHv0qA0kpCv5ihasyIYCAH0SjNPOfX85lgIchG8bdtXpYXoenr4fSBrDlIm vuNwjlHP0BUmmchRcwu/+pYG488AkzVGBAweA6cDpDKMiPSVQeA0t7hcl+Wu2xmTc4Hh nvpE2k6y9GcFHxeODbcPl7EmLK6fB4pg/P5J0GTymaK43cm3iSFxcmOhAHp+2FNxh6og jtHQ== Sender: lojban@googlegroups.com X-Gm-Message-State: AOAM533Y0E4HAyglKmfywzIZL66ubTRyUOtXLvnAxG42myDt493O5G1s FuN4Wu/RL/klZA4QaWrB2V4= X-Google-Smtp-Source: ABdhPJy++6GW9vMSq2YF2Ugja7XGHrQlmhg5zXRGcFhuuF+WaRSH5wBadIMtv/kfsHxJKvLJw9OAfQ== X-Received: by 2002:ac8:3954:: with SMTP id t20mr865203qtb.241.1610840250422; Sat, 16 Jan 2021 15:37:30 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 2002:ad4:4812:: with SMTP id g18ls2610574qvy.11.gmail; Sat, 16 Jan 2021 15:37:29 -0800 (PST) X-Received: by 2002:a0c:a525:: with SMTP id y34mr18068696qvy.37.1610840249820; Sat, 16 Jan 2021 15:37:29 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1610840249; cv=none; d=google.com; s=arc-20160816; b=UhfF4jtHm8CC+4O5JKDuwLioHGXON6ncjMjltmfu2L/scXaRQ6f9XeTUbijUoLy3M0 bfujOsnDt2IU2nVm46yVALHNtk7GRwT/G6LbOUlrtXEUWurwkKzAXJ1H4wsMVCs5dXEk 7VvIYbARRSZg43HaSSJWeIvGbiatVTA2x4fxyvydZMYFIRAm3zvQx19KMVRgRUimD6e1 BjfTMvWaMe/Yl/PziygWujI0qXeq6Nm8GjdbxGiyBcazRWRXiD/duItNkcbXDQC4nBsm FxYDMwi4OD6fnDU8ZVa8bZdEWynLASBB1ckFLWXHooto6SZ2ulph+gJJmXNK4bz4SuXP 9XmA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:message-id:in-reply-to:date:references:subject:to:from; bh=+U7BpDZWoYSvElX6nOzyc4tBTdQ/70N9kSyNYEFUvVk=; b=u0mKqccQpBCGPXAeOq/JmmrMCIO2VsvMBSIr/IrUSOX4kWP/Xvp2QfDLJ4GThQ90VR 6Eig3IRuWrUoRdqEV0IxgGBcX4b5GYAgQUWA8OgtcW6X3rR1o5JGlNnyFrFPTxxQKirm c1CXUCfWS3/A5FzYipF/hzlTQV9snbZluA+5VSimCl8+5s5d2CSn5/A0VTHee7/yk/Na wnRJN4djfLxnOQ9I5p2WZGTldVPCoaz4snEViM6bohMABWUw3apc5HZ1QBRlgjh3b/NX 2+AmfHby1xa5XuXMsplZiOFqhbdSU4lo02SkT6OuufHgVdhYpTIUi6MRD17zLmpFPu0Z 0RWw== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) smtp.mailfrom=scope845hlang343jbo@icebubble.org Received: from icebubble.org (smtp.icebubble.org. [2607:f2f8:a1d8::b19:0:f0b]) by gmr-mx.google.com with ESMTPS id b7si991498qkk.5.2021.01.16.15.37.29 for (version=TLS1 cipher=AES128-SHA bits=128/128); Sat, 16 Jan 2021 15:37:29 -0800 (PST) Received-SPF: pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) client-ip=2607:f2f8:a1d8::b19:0:f0b; Received: from petunia by icebubble.org with local-bsmtp (Exim 4.76) (envelope-from ) id 1l0vEH-0007Fx-9Y for lojban@googlegroups.com; Sat, 16 Jan 2021 23:43:37 +0000 Received: from rusat by cmarib.ramside with local (Exim 4.72) (envelope-from ) id 1l0sAz-0005oZ-4U for lojban@googlegroups.com; Sat, 16 Jan 2021 20:28:01 +0000 From: scope845hlang343jbo@icebubble.org To: lojban@googlegroups.com Subject: [lojban] Re: Multiple-variable abstractions References: <86o8iru85f.fsf@cmarib.ramside> <86blep9yni.fsf@cmarib.ramside> <8ff75cde-1243-5188-489e-e11276a75a07@mail.jerrington.me> <86zh1s9mw5.fsf@cmarib.ramside> <103d554a-d7f5-918e-bb82-6e025e41131b@mail.jerrington.me> <86zh1lhoao.fsf_-_@cmarib.ramside> <86o8hs7d0r.fsf@cmarib.ramside> Date: Sat, 16 Jan 2021 20:28:00 +0000 In-Reply-To: (Jacob Thomas Errington's message of "Fri, 15 Jan 2021 14:58:29 GMT") Message-ID: <86wnwck4of.fsf@cmarib.ramside> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Original-Sender: scope845hlang343jbo@icebubble.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) smtp.mailfrom=scope845hlang343jbo@icebubble.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: -2.7 (--) X-Spam_score: -2.7 X-Spam_score_int: -26 X-Spam_bar: -- Jacob Thomas Errington writes: > .i zo ce'ai cmavo zo zo'u .e nai zo goi .i pilno zo goi lo ka ciksi lo > po'o du'u makau smuni .i na simlu fi mi .ini'ibo mi se slabu zo zo'u .i ku'i piso'iroi ciska lo'u zo'u: le'u .i na lojbo lerfu .i ku'i sidju fi lonu ticdu ja jimpe zo zo'u -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/lojban/86wnwck4of.fsf%40cmarib.ramside.