ctaipycmaci

From Lojban Wiki
Revision as of 14:39, 13 January 2026 by Nalvaizmiku (talk | contribs) (Import words via API)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

valsi

ctaipycmaci

type

lujvo

creator

varikvalefor

time entered

Sun Feb 19 04:01:05 2023  

English

Definition #73147 - Preferred

 

definition

x1 is a type theory.

jargon type

mathematics

gloss words

place keywords

1. 

         type theory


created by

varikvalefor

vote information

2

time

Sun Feb 19 04:01:05 2023



Examples

Etymology

Retrieved from "https://wiki.lojban.io/index.php?title=ctaipycmaci&oldid=3363"