4 Commits

Author	SHA1	Message	Date
Joe Bryan	898beb2931	8. updates nock 4K spec	2018-10-10 20:25:23 -04:00
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