factor/library/inference
Slava Pestov 6159c82407 type check optimization is here 2004-12-31 07:17:45 +00:00
..
branches.factor type check optimization is here 2004-12-31 07:17:45 +00:00
dataflow.factor kernel errors a bit better, inference cleanup 2004-12-26 06:42:09 +00:00
inference.factor type check optimization is here 2004-12-31 07:17:45 +00:00
stack.factor merged stack continuations combinators and logic vocabularies into kernel vocabulary 2004-12-11 00:29:07 +00:00
types.factor type check optimization is here 2004-12-31 07:17:45 +00:00
words.factor type check optimization is here 2004-12-31 07:17:45 +00:00