]> gitweb.factorcode.org Git - factor.git/commit
dlists: adding push-before and push-sorted.
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 19 Sep 2013 01:17:45 +0000 (18:17 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 19 Sep 2013 01:17:45 +0000 (18:17 -0700)
commitd8f258d47e8b14607268cf8138d8895860066b70
tree09db9b75eeec36bb6a01406381017f575014d9bb
parent0de857e1fe4ebe7d6eefb792d9b031d8c7d8e453
dlists: adding push-before and push-sorted.
basis/dlists/dlists-tests.factor
basis/dlists/dlists.factor