]> gitweb.factorcode.org Git - factor.git/commit
sorting.insertion: faster due to fewer nths.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 28 Apr 2014 05:41:37 +0000 (22:41 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 28 Apr 2014 05:41:37 +0000 (22:41 -0700)
commit63b5886337ff686a65b36e354904f29091d10290
tree8d806a310e6832ac7c43e4b4b33097c8e5af68f2
parent00bd0c52e7bb444379eee7d95476f0c5e1e4e085
sorting.insertion: faster due to fewer nths.
basis/sorting/insertion/insertion.factor