Slava Pestov
|
e965801789
|
merged stack continuations combinators and logic vocabularies into kernel vocabulary
|
2004-12-11 00:29:07 +00:00 |
|
Slava Pestov
|
cfb85ef884
|
working on inference; symbols are written to images; generic words in core
|
2004-11-29 00:07:24 +00:00 |
|
Slava Pestov
|
9680d5b6bb
|
oop fix, split up inference
|
2004-11-27 03:23:57 +00:00 |
|
Slava Pestov
|
52efd14bce
|
minor prettyprint improvements
|
2004-11-26 02:08:09 +00:00 |
|
Slava Pestov
|
97eeec4739
|
continuation prompt in the listener; moved some stuff to syntax dir
|
2004-11-24 03:20:23 +00:00 |