Doug Coleman e189954ecc core: Rename iota to <iota> so we can have TUPLE: iota ... ; instead of TUPLE: iota-tuple ... ;		2017-06-02 11:57:05 -05:00
..
lists	more doc type fixes.	2014-05-24 17:16:26 -07:00
solovay-strassen	core: Rename iota to <iota> so we can have TUPLE: iota ... ; instead of TUPLE: iota-tuple ... ;	2017-06-02 11:57:05 -05:00
twins	extra/: ensuring tests have an IN:-line ending with .tests	2016-08-20 06:01:16 +02:00