A lot of stuffs were finally added, even the entity "subset" allowing to say :
set(N :- N) Faka : F is a subset of the set that apply any natural number to a natural number : in short, F is a function from N to N.
Will also come some formulations like "n Stuff ; N n" : "n" stuff (if n is a natural and "Stuff" a set of stuffs), like "5 Q" is a set containing five numbers, equivalent to { Q a, Q b, Q c, Q d, Q e }
I had to make a lot of theory and my lazzyness to "try and correct if it doesn"t work" was hardly punished and everything has an happy end.
I would estimate to one or two weeks to have an operational version of this revolution.
No comments:
Post a Comment