16 Commits

Author	SHA1	Message	Date
Elliot Glaysher	8976775ff0	Update |= and |* twigs to %143 format.	2017-11-09 22:34:27 -08:00
Elliot Glaysher	1541a8df75	A few more gates / minor changes.	2017-11-05 15:44:37 -08:00
Elliot Glaysher	c2b8d61fa2	insert -> put	2017-10-13 23:28:11 -07:00
Elliot Glaysher	22dca3032f	Remove 'transform' and use 'map'.	2017-10-13 23:13:15 -07:00
Elliot Glaysher	5e2f544a13	Change the name of ++map to ++dict so 'map' can be used for 'transform'.	2017-10-13 23:09:01 -07:00
Elliot Glaysher	7d46bccdfc	Change the interface for random numbers.	2017-09-29 21:26:50 -07:00
Elliot Glaysher	08962cfd63	First quickcheck test. ... Test that the ++alter:mp family is a ++valid treap after a large number of random actions.	2017-09-28 23:05:23 -07:00
Elliot Glaysher	fc651af8aa	Minor runtime fix to ++transform-maybe.	2017-09-27 23:23:12 -07:00
Elliot Glaysher	1157710c74	Fix the semantics and runtime of ++filter.	2017-09-27 23:10:45 -07:00
Elliot Glaysher	37f65c099d	Inline ++to-list.	2017-09-27 22:08:40 -07:00
Elliot Glaysher	1d8614f2ee	Don't repeat ++transform-either's implementation.	2017-09-27 21:55:35 -07:00
Elliot Glaysher	3b007e389c	Fix the runtime of ++alter and family. ... Previous runtime was pretty nutty and walked the tree multiple times.	2017-09-27 21:20:32 -07:00
Elliot Glaysher	0d2b14f4b7	Weld should work on differently typed lists.	2017-09-27 21:18:02 -07:00
Elliot Glaysher	843c902bf2	Remove most usage of , to strip faces. Use the face itself instead.	2017-09-25 23:25:58 -07:00
Elliot Glaysher	21926968ae	Clean out lots of todos.	2017-09-25 15:54:41 -07:00
Elliot Glaysher	326b602aae	Port new-hoon.hoon and tests to master.	2017-09-25 10:31:22 -07:00