Block a user
72a6ef9071
Name the typed spelling for a column read whose values hold the datatype beside it, and say holding for a datatype taken from a column read
1e60d52e48
Tests: a typed column read whose values hold the datatype declared beside it names the typed spelling
72fe01e89b
Refuse only a datatype restating the column read, name the text spelling for datatypes taken from column reads keeping an item's other keys, and keep the fence Decision true
c991f35f4f
Tests: another datatype over a column read types it where the values prove it, and datatypes taken from column reads name the text spelling, keeping an item's weight
acad25708a
Leave column agreement to the records that read DataType, name the text spelling beside a typed column read, and check a column after the columns it reads
A column of one reference alone takes the datatype and null of the column it reads
72a6ef9071
Name the typed spelling for a column read whose values hold the datatype beside it, and say holding for a datatype taken from a column read
1e60d52e48
Tests: a typed column read whose values hold the datatype declared beside it names the typed spelling
ef71d55c13
4.3: todo.md records the settled harness, floors and breaks, and 12's and 13b's follow-ups
a3073c69b2
4.3: under the gate seed the markdown property asserts floors on fixpoint and directive-shaped runs
8e7d429379
4.3: the shared property module is property-harness.ts, and the canonical arm filters emit refusals
fe47e6bc7b
4.3: a link opening a paragraph that reads as a link reference definition rides the carry
72fe01e89b
Refuse only a datatype restating the column read, name the text spelling for datatypes taken from column reads keeping an item's other keys, and keep the fence Decision true
c991f35f4f
Tests: another datatype over a column read types it where the values prove it, and datatypes taken from column reads name the text spelling, keeping an item's weight
acad25708a
Leave column agreement to the records that read DataType, name the text spelling beside a typed column read, and check a column after the columns it reads
f781fa47d1
Tests: an item beside a typed column read that can hold its datatype keeps the object-form advice
bc4280561e
Tests: a struct column need not agree on a datatype, text beside a typed column read names its text spelling, a column read is reported before its reader, and column reads through a dot, a choice and an always-null column
WIP: 4.3: the markdown property
Tick 4.4, moving its text to todo-history.md
Tick 4.4, moving its text to todo-history.md