Changes

Jump to: navigation, search

User:Gleki/CLL, next edition

289 bytes removed, 4 months ago
active PRs, problematic or those that must be active
* [[The Dot Side]], [[the Case Against LA]], [[dotside or Not?]]
* rename CMENE to CMEVLA
* Section 10, ex. 10.5 and 10.6 have a prenex, "naku zo'u", after an ijek. This is not allowed by the grammar. It could be fixed by removing the "zo'u" and using "naku" outside the prenex, although this is only explained in the following Section 11. https://github.com/lojban/cll/pull/290
*16.9 It says "for no x" (noda) is the same as "it is false for some x" (naku su'oda). I (mi'e zort) interpret "it is false for some x" as "there is an x such that it is false" (su'oda naku), not "it is false that for some x it is true" (naku su'oda), so it should be changed to "it is false that for some x". https://github.com/lojban/cll/pull/321
Forum:Admin, Forum:CantDelete, Forum:CantEdit, Forum:CantPost, Forum:CantSearch, Forum:CantView, Forum:Mod, Forum:NoSigs, Translators, Users, Bureaucrats, forumadmin, staff, Administrators, translate-proofr, twitter, uploader, Widget editors
38,116
edits

Navigation menu