Return-path: <apache@lojban.org>
Envelope-to: jbovlaste-admin@lojban.org
Delivery-date: Sat, 18 Feb 2023 20:01:09 -0800
Received: from [192.168.123.254] (port=43228 helo=jiten.lojban.org)
	by d7893716a6e6 with smtp (Exim 4.94.2)
	(envelope-from <apache@lojban.org>)
	id 1pTasr-003B8N-UO
	for jbovlaste-admin@lojban.org; Sat, 18 Feb 2023 20:01:09 -0800
Received: by jiten.lojban.org (sSMTP sendmail emulation); Sun, 19 Feb 2023 04:01:05 +0000
From: "Apache" <apache@lojban.org>
To: varikvalefor@rape.lol
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Added At Word ctaipycmaci -- By varikvalefor
Date: Sun, 19 Feb 2023 04:01:05 +0000
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Message-Id: <E1pTasr-003B8N-UO@d7893716a6e6>
X-Spam-Score: -2.9 (--)
X-Spam_score: -2.9
X-Spam_score_int: -28
X-Spam_bar: --



In jbovlaste, the user varikvalefor has added a
definition of "ctaipycmaci" in the language "English".

New Data:

	Definition:
		$x_1$ is a type theory.

	Notes:
		

	Jargon:
		mathematics

	Gloss Keywords:
		Word: type theory, In Sense: 

	Place Keywords:
		Word: type theory, In Sense: , For Place: 1




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