From lojban+bncCOib25n_BhDf2-XqBBoEX-WCwg@googlegroups.com Mon Feb 14 10:01:19 2011 Received: from mail-gw0-f61.google.com ([74.125.83.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Pp2jb-0002Pc-IR; Mon, 14 Feb 2011 10:01:18 -0800 Received: by gwb20 with SMTP id 20sf4905834gwb.16 for ; Mon, 14 Feb 2011 10:01:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:x-beenthere:received-spf:mime-version:sender :reply-to:in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe:content-type; bh=9hAzJhG6AKckzXaWLbgt3CUikcfAsfvZIit9gSK3mF4=; b=eOMRqfgwMBSSyQirYQ+ll4RUgA3cMmpWigZFJlRxX5hYyHrRi6GZ2pQlRTBOhOxKEX 1a2qv57VhFyIu1mhagkxgNPci27I5EKY4ad0l3FkA02Y3drWBX95CFWi4D1z+OAvvwtI CGbwuwOoD85jJ2+N40AXEsfPcQNmCDlbKPQDQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:sender:reply-to:in-reply-to :references:date:message-id:subject:from:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe :content-type; b=0fDc5ckbQ/tNY8c9WID6r1wogtNpTn237vRLq0ymhbum0eWVCPTVkQJTbq/2b76N03 Jk1VqlrOZ3XFpvDW+UaCLVFuQci4282V+MAqGkeFvlqzVK6yEYMaGP3ab1OeY+wBQZgL lqP8BkvbVHeabkHlKVemMOAtlbohbIJA9O8pI= Received: by 10.150.206.8 with SMTP id d8mr577425ybg.18.1297706463749; Mon, 14 Feb 2011 10:01:03 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.231.200.3 with SMTP id eu3ls3988345ibb.1.p; Mon, 14 Feb 2011 10:01:02 -0800 (PST) Received: by 10.231.34.6 with SMTP id j6mr1172060ibd.10.1297706462791; Mon, 14 Feb 2011 10:01:02 -0800 (PST) Received: by 10.231.34.6 with SMTP id j6mr1172059ibd.10.1297706462752; Mon, 14 Feb 2011 10:01:02 -0800 (PST) Received: from mail-iw0-f174.google.com (mail-iw0-f174.google.com [209.85.214.174]) by gmr-mx.google.com with ESMTPS id j25si696357ibb.4.2011.02.14.10.01.02 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 14 Feb 2011 10:01:02 -0800 (PST) Received-SPF: pass (google.com: domain of rpglover64@gmail.com designates 209.85.214.174 as permitted sender) client-ip=209.85.214.174; Received: by iwn9 with SMTP id 9so5400085iwn.33 for ; Mon, 14 Feb 2011 10:01:02 -0800 (PST) MIME-Version: 1.0 Received: by 10.42.226.66 with SMTP id iv2mr5424095icb.78.1297706462519; Mon, 14 Feb 2011 10:01:02 -0800 (PST) Sender: lojban@googlegroups.com Reply-To: lojban@googlegroups.com Received: by 10.42.166.133 with HTTP; Mon, 14 Feb 2011 10:01:02 -0800 (PST) In-Reply-To: <20110214173053.GC9732@digitalkingdom.org> References: <20110214173053.GC9732@digitalkingdom.org> Date: Mon, 14 Feb 2011 13:01:02 -0500 Message-ID: Subject: Re: [lojban] I've been using haskell too much; mekso question From: ".arpis." To: lojban@googlegroups.com X-Original-Sender: rpglover64@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of rpglover64@gmail.com designates 209.85.214.174 as permitted sender) smtp.mail=rpglover64@gmail.com; dkim=pass (test mode) header.i=@gmail.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=20cf3054a037b8a31d049c41d4b7 --20cf3054a037b8a31d049c41d4b7 Content-Type: text/plain; charset=ISO-8859-1 Interesting. On Mon, Feb 14, 2011 at 12:30 PM, Robin Lee Powell < rlpowell@digitalkingdom.org> wrote: > On Mon, Feb 14, 2011 at 01:54:49AM -0500, Alex Rozenshteyn wrote: > > The simplest way for me to ask my question is to use a haskell > > analogy: does lojban allow maps, folds, infinite lists, list/set > > comprehensions? > > Don't use mekso for real math. See > > http://www.digitalkingdom.org/robin/tiki-index.php?page=Lojban,+Math,+mekso,+and+bridi+cmaci > > > Also, anyone knows a simple math textbook or reference in lojban > > (that is, teaching math in lojban, not teaching lojban for math), > > I'd love to see it. > > On http://www.lojban.org/tiki/Texts+In+Lojban there's a math section > that has a bit of such things. > > -Robin > > -- > http://singinst.org/ : Our last, best hope for a fantastic future. > Lojban (http://www.lojban.org/): The language in which "this parrot > is dead" is "ti poi spitaki cu morsi", but "this sentence is false" > is "na nei". My personal page: http://www.digitalkingdom.org/rlp/ > > -- > You received this message because you are subscribed to the Google Groups > "lojban" group. > To post to this group, send email to lojban@googlegroups.com. > To unsubscribe from this group, send email to > lojban+unsubscribe@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/lojban?hl=en. > > -- mu'o mi'e .arpis. -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en. --20cf3054a037b8a31d049c41d4b7 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Interesting.

On Mon, Feb 14, 2011 at 12:3= 0 PM, Robin Lee Powell <rlpowell@digitalkingdom.org> wrote:
On Mon, Feb 14, 2011 at 01:54:49AM -0500, Alex Rozenshtey= n wrote:
> The simplest way for me to ask my question is to use a haskell
> analogy: does lojban allow maps, folds, infinite lists, list/set
> comprehensions?

Don't use mekso for real math. =A0See
http://www.digitalkingdom= .org/robin/tiki-index.php?page=3DLojban,+Math,+mekso,+and+bridi+cmaci

> Also, anyone knows a simple math textbook or reference in lojban
> (that is, teaching math in lojban, not teaching lojban for math),
> I'd love to see it.

On http://www.lojban.org/tiki/Texts+In+Lojban there's a math se= ction
that has a bit of such things.

-Robin

--
http://singinst.org/= : =A0Our last, best hope for a fantastic future.
Lojban (http://www.loj= ban.org/): The language in which "this parrot
is dead" is "ti poi spitaki cu morsi", but "this senten= ce is false"
is "na nei". =A0 My personal page: http://www.digitalkingdom.org/rlp/
--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojba= n?hl=3Den.




--
mu'o mi'= e .arpis.

--
You received this message because you are subscribed to the Google Groups "= lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com.
For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.
--20cf3054a037b8a31d049c41d4b7--