]> gitweb.factorcode.org Git - factor.git/commit
splitting.monotonic: faster monotonic-split.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 16 Nov 2014 00:52:31 +0000 (16:52 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 16 Nov 2014 00:52:31 +0000 (16:52 -0800)
commit305ba30e96ff61bd85d1b2eb863148b90bff63dc
treea9e9ddc565dc04c03c33893f808fafa486a6d0dd
parentef6b2e231f7dcb5315a3d4d3fd13f98a030a4c14
splitting.monotonic: faster monotonic-split.
basis/splitting/monotonic/monotonic-tests.factor
basis/splitting/monotonic/monotonic.factor