3 Commits

Author	SHA1	Message	Date
Joshua Reagan	fde425fddf	Typo in 4k Nock spec ... Ted's correction somehow didn't make it in! Just to reiterate, however, on typo version of the spec, `#[2 b c]` reduces to b, which clearly isn't right. I noticed this, complained in urbit-meta, and Ted pointed me to the github discussion.	2018-02-14 13:57:56 -06:00
C. Guy Yarvin	cd5b3503b4	Fix typo pointed out by Ted.	2018-01-24 11:13:28 -08:00
C. Guy Yarvin	8ed991462b	Preliminary Nock 4 spec.	2018-01-23 18:56:59 -08:00