Slava Pestov 7155447aed stack-checker: add inputs and outputs words, since 'infer (in>>|out>>) length' was coming up a lot		2010-01-15 08:04:14 +13:00
..
short-circuit	docs: change $subsection to $subsections	2009-10-02 12:15:48 -04:00
smart	stack-checker: add inputs and outputs words, since 'infer (in>>|out>>) length' was coming up a lot	2010-01-15 08:04:14 +13:00