12 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
C. Guy Yarvin	e3a0446634	In the middle of internal merge.	2016-01-29 18:25:52 -08:00
C. Guy Yarvin	fbb7b79ef1	Various fixes and improvements.	2013-12-08 14:40:16 -08:00
C. Guy Yarvin	f1678e0972	Some batz improvements. Clean up nock spec.	2013-12-02 17:01:07 -08:00
johncburnham	00e9ae70d4	Slight change to nock spec	2013-11-22 15:58:25 -08:00
johncburnham	887da2671a	Nitpicky edit to Nock was wrong. Reverting, but changing formatting for clarity. Nock 5K now at 353 bytes.	2013-11-13 20:57:55 -08:00
johncburnham	c0320389b8	Minor nitpicky change to the Nock spec	2013-11-13 19:18:09 -08:00
Christian Carter	ab7a1bf564	removing old Nock specs	2013-09-28 13:52:13 -07:00
Christian Carter	3af3130bdc	Cleaning up old code	2013-09-28 13:21:18 -07:00