96 Commits

Author	SHA1	Message	Date
C. Guy Yarvin	6c07aadb99	Remove random foos; sort profiler hit counter.	2017-11-06 19:13:06 -08:00
C. Guy Yarvin	9f03be0e81	Remove redo printfs.	2017-10-25 14:20:43 -07:00
C. Guy Yarvin	7b016c9c4f	Merge branch 'master' of http://github.com/urbit/arvo	2017-10-24 17:16:21 -07:00
C. Guy Yarvin	9d516c7345	%zuse to 143; some fixes.	2017-10-24 16:50:11 -07:00
C. Guy Yarvin	bf818adf09	Correct previous commit.	2017-10-23 21:48:07 -07:00
C. Guy Yarvin	7540a7605d	Make , mode-switching syntax symmetrical.	2017-10-23 20:52:08 -07:00
Anton Dyudin	b7193da158	fix core pretty-printing	2017-10-23 15:09:26 -07:00
C. Guy Yarvin	4018c1b571	More syntax fixes; add , prefix for handmade pattern	2017-10-23 14:41:27 -07:00
C. Guy Yarvin	ab5fb62484	Various fixes and imprevements.	2017-10-22 15:46:07 -07:00
C. Guy Yarvin	6df5e754fa	Fix some minor syntax bugs	2017-10-18 12:55:02 -07:00
C. Guy Yarvin	f2a7257f8a	Mostly merged.	2017-10-02 21:36:34 -07:00
C. Guy Yarvin	0b5a831551	Dual-boots on maintenance and master vere.	2017-09-27 17:27:08 -07:00
C. Guy Yarvin	dc25979f59	Merge remote-tracking branch 'origin/master' into piaf-runes	2017-09-21 18:45:27 -07:00
C. Guy Yarvin	1c561965b2	Remove keywords.	2017-09-21 17:15:41 -07:00
C. Guy Yarvin	ec90cc34e2	Converted !!, the final rune.	2017-09-20 17:54:04 -07:00
C. Guy Yarvin	6c6cd35762	All ! runes except !!.	2017-09-20 16:12:03 -07:00
C. Guy Yarvin	6f8005301b	Convert ?:.	2017-09-20 14:43:14 -07:00
C. Guy Yarvin	b3e0bc4065	All ? runes except ?:.	2017-09-20 14:13:10 -07:00
C. Guy Yarvin	24e9481acc	Convert = runes.	2017-09-20 13:15:30 -07:00
C. Guy Yarvin	44a05076e0	Translate ; runes.	2017-09-20 10:36:34 -07:00
C. Guy Yarvin	7fc173d30e	Fix previous commit.	2017-09-20 10:18:59 -07:00
C. Guy Yarvin	c88ae3887a	Convert ~ runes.	2017-09-19 23:13:11 -07:00
C. Guy Yarvin	6937846e2a	Restore metals.	2017-09-19 22:32:08 -07:00
C. Guy Yarvin	60a1104891	Translate ^ runes.	2017-09-19 16:24:30 -07:00
C. Guy Yarvin	29879b1240	Adapt all . runes.	2017-09-19 13:37:15 -07:00
C. Guy Yarvin	d66cdad1f1	%call attempt.	2017-09-18 22:40:30 -07:00
C. Guy Yarvin	76dbc417ae	All % runes except %-.	2017-09-18 17:55:32 -07:00
C. Guy Yarvin	6b00c3d231	Converted %=.	2017-09-18 17:19:22 -07:00
C. Guy Yarvin	405ec43328	Convert %~.	2017-09-18 15:32:35 -07:00
C. Guy Yarvin	fd06dc4505	Converted %bake.	2017-09-18 12:37:25 -07:00
C. Guy Yarvin	d0f512e549	All : runes.	2017-09-18 11:50:10 -07:00
C. Guy Yarvin	752a49c398	Converted :-.	2017-09-18 10:25:05 -07:00
C. Guy Yarvin	81046c7587	143: | runes.	2017-09-17 18:32:20 -07:00
C. Guy Yarvin	82d1e63e30	$ runes converted.	2017-09-17 16:31:49 -07:00
C. Guy Yarvin	f9e51ca2fc	%claw to %bcpt.	2017-09-17 15:10:40 -07:00
C. Guy Yarvin	08af897d69	Changed one stem: %gate to %brts.	2017-09-17 11:14:12 -07:00
C. Guy Yarvin	d49d614a81	Neutral 143.	2017-09-15 14:40:24 -07:00
C. Guy Yarvin	af56ede621	Manual merge from belisarius222/nozap ... (62fec03d96).	2017-09-13 17:30:23 -07:00
C. Guy Yarvin	2575255c9e	Merge remote-tracking branch 'eglaysher/new-dojo-unified' into piaf ... Non-compiling branch which uses the features it adds.	2017-09-12 18:19:23 -07:00
C. Guy Yarvin	a9d6558599	Minor performance improvement.	2017-09-12 16:36:57 -07:00
C. Guy Yarvin	2b9c6c26a8	Working, but still weirdly slow.	2017-09-09 10:50:22 -07:00
C. Guy Yarvin	bf3b8432b3	About working. But very slow.	2017-09-07 16:47:49 -07:00
C. Guy Yarvin	084c01a190	First stage of transition to ++redo.	2017-09-06 17:13:35 -07:00
C. Guy Yarvin	f54dc77183	Import ++redo from /resurface branch.	2017-09-06 16:46:30 -07:00
C. Guy Yarvin	79342d7dcb	Partial application of ++redo.	2017-09-06 15:17:37 -07:00
Elliot Glaysher	ef2b87251c	++chap should have an (unit term) instead of a (list term).	2017-06-03 09:42:30 -07:00
C. Guy Yarvin	55e06af4d3	New brass pill can do more than fake zods.	2017-06-02 17:15:43 -07:00
C. Guy Yarvin	7d57a40bbc	Partial commit of ++mean.	2017-05-30 15:03:55 -07:00
Elliot Glaysher	02917e68a5	Fix sloe so that it is chapter aware.	2017-05-29 10:17:36 -07:00
Elliot Glaysher	d5f32f972a	Change title specifier from || to #.	2017-05-20 23:06:33 -07:00