Slava Pestov
|
26dd297e62
|
make-string and make-list replace <> and [, ,]
|
2004-11-11 20:15:43 +00:00 |
|
Slava Pestov
|
0cb88ac092
|
add test for diverging words
|
2004-11-07 02:20:05 +00:00 |
|
Slava Pestov
|
20ef12db55
|
preliminary implementation of recursive effect deduction, compiler work
|
2004-11-07 02:03:35 +00:00 |
|
Slava Pestov
|
df39f78f6d
|
work on inferencer, and vector-2map combinator
|
2004-11-05 22:41:54 +00:00 |
|
Slava Pestov
|
d7db4d1ccd
|
working on inference
|
2004-11-05 02:36:33 +00:00 |
|
Slava Pestov
|
d347d20dbc
|
adding trace, step, stack inference to cvs, rearranging some stuff
|
2004-11-04 04:35:36 +00:00 |