]> gitweb.factorcode.org Git - factor.git/commit
sorting.extras: faster map-sort.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 5 Dec 2014 18:50:32 +0000 (10:50 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 5 Dec 2014 18:50:32 +0000 (10:50 -0800)
commit17de36ddfce8ca6d026727b89959e0901a4ee152
tree077cacdf0b75b6f0f9e84c8d643b0386945ddad2
parente7bb1a43df9565c8be45a05ff150f19e7124174b
sorting.extras: faster map-sort.
extra/sorting/extras/extras.factor