 lilleman
|
679bd43c7c
|
Answer architecture round 2: guard Noun's range, name calc once as builtinfunc.Calc, and place readTableOptions in item 46
|
2026-10-05 16:30:28 +02:00 |
|
|
lilleman
|
dd2fe61b13
|
Answer architecture round 1: one invariant phrase in internal/invariant, held across every package, Source built by Dir and FS, coverage counted across packages, and file items 112 and 113
|
2026-10-05 16:30:28 +02:00 |
|
|
lilleman
|
9357abb279
|
Move DataType into internal/datatype, aliased by the root, and what a proof knows of a value into internal/proven
|
2026-10-05 16:30:28 +02:00 |
|