Slava Pestov
|
f34c14a0f5
|
Remove some usages of tuck
|
2009-01-23 18:20:47 -06:00 |
|
Slava Pestov
|
058ba127cb
|
Cleaning up more -rot usages
|
2008-12-22 05:41:01 -06:00 |
Aaron Schaefer
|
fa88f8825b
|
Replace >r r> usage with dip in math.ratios
|
2008-11-17 18:13:42 -05:00 |
|
Slava Pestov
|
8a6ecec9f3
|
Fix broken link in ratios docs
|
2008-11-11 12:11:36 -06:00 |
|
Slava Pestov
|
fed799a32c
|
Fix circularity
|
2008-11-11 11:39:38 -06:00 |
|
Slava Pestov
|
c19f2257f4
|
Fix permission bits
|
2008-10-02 08:34:49 -05:00 |
|
Slava Pestov
|
110a5e5162
|
Change equality semantics
|
2008-09-02 02:02:05 -05:00 |
|
Slava Pestov
|
d66f887736
|
Create basis vocab root
|
2008-07-28 22:03:13 -05:00 |