]> gitweb.factorcode.org Git - factor.git/commit
sorting.extras: faster map-sort.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 24 Jul 2013 17:24:13 +0000 (10:24 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 24 Jul 2013 17:24:47 +0000 (10:24 -0700)
commit1f5e8f3970e6eac5526d0ab72f127ec090791a3d
treea7629c8fc855339b239cb3893c10aee2c20fd562
parent232287b3fc0ad8c0b4b7feeac3c7b59b25672650
sorting.extras: faster map-sort.
extra/sorting/extras/extras.factor