Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:57142 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.91) (envelope-from ) id 1gTcxq-0006vs-3P for jbovlaste-admin@lojban.org; Sun, 02 Dec 2018 17:24:01 -0800 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Sun, 02 Dec 2018 17:23:58 -0800 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word lamda -- By krtisfranks Date: Sun, 2 Dec 2018 17:23:57 -0800 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Message-Id: X-Spam-Score: 1.8 (+) X-Spam_score: 1.8 X-Spam_score_int: 18 X-Spam_bar: + X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: In jbovlaste, the user krtisfranks has edited a definition of "lamda" in the language "English". Differences: 5,5c5,5 < Coined by la .uakci. --- > Coined by la .uakci. See also: "{ka}". Conflicts with "{landa}". Content analysis details: (1.8 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.8 BAYES_50 BODY: Bayes spam probability is 40 to 60% [score: 0.4705] 1.0 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS In jbovlaste, the user krtisfranks has edited a definition of "lamda" in the language "English". Differences: 5,5c5,5 < Coined by la .uakci. --- > Coined by la .uakci. See also: "{ka}". Conflicts with "{landa}". Old Data: Definition: $x_1$ is a lambda function abstraction based on applying transformation $x_3$ to body $x_2$. Notes: Coined by la .uakci. Jargon: Gloss Keywords: Word: lambda, In Sense: lambda calculus function abstraction Word: lambda function, In Sense: Place Keywords: New Data: Definition: $x_1$ is a lambda function abstraction based on applying transformation $x_3$ to body $x_2$. Notes: Coined by la .uakci. See also: "{ka}". Conflicts with "{landa}". Jargon: Gloss Keywords: Word: lambda, In Sense: lambda calculus function abstraction Word: lambda function, In Sense: Place Keywords: You can go to to see it.