factor/basis/compiler/tree/identities
Slava Pestov 7bc38641f9 compiler.tree.identities: the identity on mod was useless too, because we already have a rewrite rule which handles this case in compiler.tree.propagation 2011-10-10 12:34:21 -07:00
..
identities.factor compiler.tree.identities: the identity on mod was useless too, because we already have a rewrite rule which handles this case in compiler.tree.propagation 2011-10-10 12:34:21 -07:00
summary.txt Add summary for heaps more vocabs 2009-02-16 21:05:13 -06:00