]> gitweb.factorcode.org Git - factor.git/commit
sequences.deep: adding deep-reject.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 6 Jan 2017 22:09:14 +0000 (14:09 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 6 Jan 2017 22:09:14 +0000 (14:09 -0800)
commitdac41e1bf70cc07707ba530c224c84d1eacb18a5
tree7545e8dd6ecb75754d2b4d6a0279cbc486bf6efd
parent7e7efe8128024edea81d2ead57c4d2430d3fdbea
sequences.deep: adding deep-reject.
basis/sequences/deep/deep.factor