Slava Pestov
|
b7327b6228
|
Redo the profiler
|
2008-01-02 20:36:36 -04:00 |
|
Slava Pestov
|
f53fa196ac
|
New must-infer word; \ foo must-infer asserts that foo's declared effect matches its inferred effect, put this in your unit tests
|
2007-12-26 20:54:38 -05:00 |
|
Slava Pestov
|
51992905b2
|
Inference tests tweak
|
2007-12-17 16:29:26 -05:00 |
|
Slava Pestov
|
1bd8176b4a
|
New tools.test.inference vocabulary with unit-test-effect word
|
2007-11-15 17:29:00 -05:00 |
U-SLAVA-FB3999113\Slava
|
8b54248c50
|
Get core unit tests to pass without number tower
|
2007-10-14 21:13:42 -04:00 |
|
Slava Pestov
|
c84ba1d76b
|
Fix define-transform bug
|
2007-10-10 01:53:55 -04:00 |
|
Slava Pestov
|
a96457cecc
|
Initial import
|
2007-09-20 18:09:08 -04:00 |