Received: from [192.168.123.254] (port=55668 helo=jukni.digitalkingdom.org)
	by stodi.digitalkingdom.org with smtp (Exim 4.92)
	(envelope-from <apache@digitalkingdom.org>)
	id 1jtAc6-00018H-97
	for jbovlaste-admin@lojban.org; Wed, 08 Jul 2020 06:59:56 -0700
Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Wed, 08 Jul 2020 06:59:54 -0700
From: "Apache" <apache@digitalkingdom.org>
To: nictytan@gmail.com
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Added At Word stekoni -- By djeikyb
Date: Wed, 8 Jul 2020 06:59:54 -0700
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Message-Id: <E1jtAc6-00018H-97@stodi.digitalkingdom.org>
X-Spam-Score: -2.9 (--)
X-Spam_score: -2.9
X-Spam_score_int: -28
X-Spam_bar: --



In jbovlaste, the user djeikyb has added a
definition of "stekoni" in the language "English".

New Data:

	Definition:
		$x_1$ is a list formed by head $x_2$ and tail $x_3$

	Notes:
		Refers to the inductive definition of lists.

	Jargon:
		Computer science

	Gloss Keywords:
		Word: list, In Sense: cons

	Place Keywords:




You can go to <http://jbovlaste.lojban.org/dict/stekoni> to see it.