wangyoutian 

Define the top type of all types: nilnul.Obj. Generic types that are derived from Obj are also defined here; dynamic types (not subtypes of Obj) or special values such as pointer that is not an obj is also... More information

real number

natural number; operators; formula; variable; expressions.

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

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)

quotient/rational numbers;

finite collection. for infinite collection, see later projects

Text;txt character string

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

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

natural number linq(connection to database/db)

integer numbers

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

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

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

matrix of 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

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