]> gitweb.factorcode.org Git - factor.git/commit
sorting.insertion: faster with unsafe words.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 14 Oct 2013 22:28:05 +0000 (15:28 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 14 Oct 2013 22:28:05 +0000 (15:28 -0700)
commit327a40d4bf6de47a382d51791572d4d47af3816d
tree861abae5f151662bfa864f89b20926c1dbe5e9d4
parente4e4eb38c59773fb8edab5ad1d1c54501b2506de
sorting.insertion: faster with unsafe words.
basis/sorting/insertion/insertion.factor