From lojban+bncCK30vq5WENDN5eoEGgRJIVLM@googlegroups.com Mon Feb 14 09:31:12 2011 Received: from mail-pw0-f61.google.com ([209.85.160.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Pp2GS-0002iF-Mo; Mon, 14 Feb 2011 09:31:12 -0800 Received: by pwi2 with SMTP id 2sf2997591pwi.16 for ; Mon, 14 Feb 2011 09:31:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:x-beenthere:received-spf:date:from:to:subject :message-id:references:mime-version: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 :sender:list-subscribe:list-unsubscribe:content-type :content-disposition; bh=d1ym5dolT04zyJBkD9g0GlO6j5i2OOxgp6BN/VHek7E=; b=qrQ69TMbBWeubr+/n83Pnq+8/UgDgm+Wzmd7GzJMD1/JiIl3DfrCqqWzDZ7VIqonqB tcagWssrBogW+meuC+qq8nG0Dyr/+G/FEbrzdids+6heYVOZNp5nZ7QPYWGQyiW6pr1n 38fmxFYgeOihb2kMnhaQ8UXexM0Zj2s0TRQig= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id:references :mime-version: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:sender:list-subscribe :list-unsubscribe:content-type:content-disposition; b=tFZoBEp8zMnJI1id3mQuyJ+Fsa0yR9DxSOJQu+TVyvSdA2kX86lXsPV3P5pey34CkG /fYTZQJ+2Q3ysps8ei68qIbyYVqNmjmPhgCsE2wvusI3i9dB2ONoIwEoPHNw6re+ZlxV JoqsPx4KJhX5X90ZVr5J//ZCFl1izjAaw34bU= Received: by 10.142.239.6 with SMTP id m6mr299361wfh.54.1297704656867; Mon, 14 Feb 2011 09:30:56 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.142.201.17 with SMTP id y17ls9174397wff.1.p; Mon, 14 Feb 2011 09:30:55 -0800 (PST) Received: by 10.142.246.1 with SMTP id t1mr719556wfh.46.1297704655079; Mon, 14 Feb 2011 09:30:55 -0800 (PST) Received: by 10.142.246.1 with SMTP id t1mr719555wfh.46.1297704655022; Mon, 14 Feb 2011 09:30:55 -0800 (PST) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTPS id w13si3421458wfh.7.2011.02.14.09.30.54 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 14 Feb 2011 09:30:54 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) client-ip=173.13.139.234; Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1Pp2GE-0002hX-2M for lojban@googlegroups.com; Mon, 14 Feb 2011 09:30:54 -0800 Date: Mon, 14 Feb 2011 09:30:54 -0800 From: Robin Lee Powell To: lojban@googlegroups.com Subject: Re: [lojban] I've been using haskell too much; mekso question Message-ID: <20110214173053.GC9732@digitalkingdom.org> References: MIME-Version: 1.0 In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) smtp.mail=rlpowell@digitalkingdom.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline 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.