wangyoutian 

define the top type of all types:nilnul.Obj. generic types that are derived from Obj (not subtypes of Obj) are also defined here

relation(a domain or source, a range or target, and a match or a collection of couples)

the first dll of nilnul lib; this will ironize the env for nilnul lib onward, and undefined terms will be defined here to make way for nilnul.obj which introduces the fundamental world-of-view for how nilnul... More information

natural number; operators; formula; variable; expressions.

boolean algebra (from type to instances, op, calc, var,expr,func,lambda, till before more complex logic involving recursion which would be tackled by nilnul.Logic)

finite collection. for infinite collection, see later projects

linq/connection db/database configuration/cfg for nilnul system, as well as other configurations/settings/constants

Text;txt character string

real number

character described in a coding way; num, in mathematical set theory, is directly built upon nothign but set. no character is needed, as num is a set, not a positional notation.character.str, or txt, is... More information

quotient/rational numbers;

natural number linq(connection to database/db)

integer numbers

discrete (finite or countable infinte); including recurring set or finite set

time; a real numbered line with an origin; the origin is set differently by different calendar; each calendar is a way of scaling the timeline

fs(file system). the basic storage functions, which is a premise for os (there exists some simple fs that needs no extra os extravagenza); fs is part of Os, so fs is put before Os and Os is dependent on Fs

xml, a language for extensible markup; textual serialization of object

git client which is connected to server so we can push/pull,etc. This lib shall also ironclad a distributive file system, on which other systems can be built, regarding a cloud of computers of repos as a... More information

commented identity like: abc.def(gh.ijk).aaa

commented txt like:ab(cd(e)