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

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.

real number

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

quotient/rational numbers;

Text;txt character string

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

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)

linq/connection db/database configuration/cfg for nilnul system

integer numbers

natural number linq(connection to database/db)

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

commented text such as "a(ab(c(as))())d" or "ab(asd(d)as" as a lang.

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

finite collection. for infinite collection, see later projects

statistics, including probability/distribution/sampling/etc

mathematical calculus for real number function; func to func is the power set of the set of all real number functions while real.num.func is the power set of R

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

planar/2dimensional geometry; we also merged 1d/linear geometry here, where we defined length.