TAO Axioms
Adám Brudzewsky
Jay Foad
Roger Hui
I.
Introduction
II.
Axioms
0.
Backward Compatible
1.
Itemwise in Ravel Order
2.
Complex Numbers
Interlude
3.
Type:
⎕null
v
Number
v
Character
4.
Shape: Dictionary Order
5.
Empty
v
Empty
6.
Rank: Visual Fidelity
III.
Model
IV.
Tests
V.
Discussion
Appendix. Theorems