Talk:1537: Types
Revision as of 12:14, 12 June 2015 by 141.101.99.22 (talk)
Relevant: WAT talk https://www.destroyallsoftware.com/talks/wat
Are (6) and (7) about completing sequences?
If the sequence was [1, 2, 3, ?] we would expect the ? to be a placeholder for 4. So [1, 2, 3]+2 is wrong := FALSE. But [1, 2, 3]+4 is correct := TRUE.