ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-18 12:22:10 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,431 Commits 6 Branches 0 Tags 164 MiB
19936b94f0
Commit Graph

756 Commits

Author SHA1 Message Date
C. Guy Yarvin
19936b94f0 Degenerate type appears vanquished, at least in C. 2015-12-31 20:49:01 -08:00
C. Guy Yarvin
009d4945b9 In the middle of rescuing ++low. 2015-12-31 17:01:19 -08:00
C. Guy Yarvin
70d809b558 New, non-degenerate ++nost almost works, fails on ++homo. 2015-12-31 02:07:29 -05:00
C. Guy Yarvin
aa72a755b7 Change %rock to %sand. 2015-12-29 16:52:51 -05:00
C. Guy Yarvin
3a1c0a6c43 Change %rock to %sand. 2015-12-29 14:52:22 -05:00
C. Guy Yarvin
e04e53d1f6 Remove cubab. 2015-12-28 15:53:10 -05:00
C. Guy Yarvin
7c871cbf42 This really should work but doesn't, quite. 2015-12-28 13:35:31 -05:00
C. Guy Yarvin
5d150690c1 Almost ready to kill %cube; hoon.hoon fitz cleansed. 2015-12-28 03:45:12 -05:00
C. Guy Yarvin
d1c2b55215 Activate cubical atoms. Still generating %cube. 2015-12-27 22:18:25 -05:00
C. Guy Yarvin
86022c41d8 %moat is fully vanquished; %atom constants still vestigial. 2015-12-27 16:36:49 -05:00
C. Guy Yarvin
6bc0b86d75 Supporting both %moat and %atom. 2015-12-27 16:11:01 -05:00
C. Guy Yarvin
c1a3d64a28 %atom now fully converted to %moat. 2015-12-27 16:01:10 -05:00
C. Guy Yarvin
8e05cb7ce1 Supporting but not yet generating c3__moat. 2015-12-27 15:17:04 -05:00
C. Guy Yarvin
0c7a8c644b Fully abolish %bull. 2015-12-27 01:42:53 -05:00
C. Guy Yarvin
700cd5cf11 Disabled %bull. 2015-12-27 01:18:59 -05:00
C. Guy Yarvin
45b09f2c10 New powers for $face. 2015-12-27 00:43:40 -05:00
C. Guy Yarvin
9831c6c606 Remove funky semantics from %bull. 2015-12-26 23:58:07 -05:00
C. Guy Yarvin
fc30af8593 Rationalize jets. 2015-12-26 23:39:38 -05:00
C. Guy Yarvin
10022f3d38 About to clean out %bull. 2015-12-26 22:42:45 -05:00
C. Guy Yarvin
759f3ef463 Kicked ++us out of ++ut; replaced %clfs with %smfs. 2015-12-26 15:47:04 -05:00
C. Guy Yarvin
d9b7eba2c2 Eliminate snubbing. 2015-12-26 06:44:32 -05:00
C. Guy Yarvin
e8d575db20 Rename type to span. 2015-12-26 05:07:50 -05:00
C. Guy Yarvin
35aa34fca9 Eliminated ++reco. 2015-12-26 04:54:42 -05:00
C. Guy Yarvin
2c1fbd3eb2 With ++span replaced by ++knot; also, recursion filter in ++tuck. 2015-12-26 04:37:06 -05:00
C. Guy Yarvin
63b0bb3b86 Wrong pill, but should recompile properly. 2015-12-25 20:57:04 -05:00
C. Guy Yarvin
7dab136dc9 Now only one descent mechanism. 2015-12-25 20:09:27 -05:00
C. Guy Yarvin
feaaa13e06 Not quite working. 2015-12-25 00:45:53 -08:00
C. Guy Yarvin
0bc2c95b5d Last known good. 2015-12-25 00:26:07 -08:00
C. Guy Yarvin
148b3b5b88 Now with perfect ++feel. 2015-12-24 13:14:59 -08:00
C. Guy Yarvin
75c3a7e04f new ++feel, almost perfect. 2015-12-24 00:20:22 -08:00
C. Guy Yarvin
ae792add4f No longer comparing to old seek. 2015-12-23 21:42:08 -08:00
C. Guy Yarvin
151ceea50d Matched to ++feel, with some temporary bull laming. 2015-12-23 21:30:54 -08:00
C. Guy Yarvin
8a18e8ede4 Interim commit. 2015-12-23 00:03:53 -08:00
C. Guy Yarvin
c39ca2e92a Fixed %deet. Really about to prune. 2015-12-22 20:57:10 -08:00
C. Guy Yarvin
8f63262b74 About to strip the tree. Minor fixes. 2015-12-22 20:48:20 -08:00
C. Guy Yarvin
38fc2f77dc About to test ++feel. 2015-12-22 20:12:56 -08:00
C. Guy Yarvin
a121ca32d2 Disabled all wing traversal jerts. 2015-12-21 16:38:31 -08:00
C. Guy Yarvin
46f8dcfe94 Now with hygienic $+. 2015-12-21 14:51:41 -08:00
C. Guy Yarvin
ea64696bc6 Fixed vet caching issue. 2015-12-21 14:45:22 -08:00
C. Guy Yarvin
493c66cad4 About to close vetting type loophole. 2015-12-21 12:45:47 -08:00
C. Guy Yarvin
5c2256d6ff Rename ugly non-runes. 2015-12-20 21:05:19 -08:00
C. Guy Yarvin
ec3322b790 Merge commit 'bd8c09' into HEAD 2015-12-20 16:05:55 -08:00
C. Guy Yarvin
324e7b7ed0 About to merge last of lastcall. 2015-12-20 15:55:24 -08:00
C. Guy Yarvin
9071f9e78a Merge commit '556b398' into HEAD 2015-12-20 15:48:44 -08:00
C. Guy Yarvin
6accd2009c Merge commit 'a6dbfef' into HEAD 2015-12-20 15:44:06 -08:00
C. Guy Yarvin
4ffd2d44ad Merge commit 'fda10e' into HEAD 2015-12-20 15:40:04 -08:00
C. Guy Yarvin
a13c7c0450 Merge commit 'ae7963' into cabclean 2015-12-20 14:58:38 -08:00
C. Guy Yarvin
19f196afba Merge commit 'f4bd2f' into cabclean 2015-12-20 14:50:13 -08:00
C. Guy Yarvin
178753f7ab Merge commit 'f59ac05' into cabclean 2015-12-20 14:42:33 -08:00
C. Guy Yarvin
aec51e0c4f Staged to 162. 2015-12-20 14:33:29 -08:00