]> gitweb.factorcode.org Git - factor.git/commit
interval-sets: can just check one side or the other.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 19 May 2014 16:40:51 +0000 (09:40 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 19 May 2014 16:40:51 +0000 (09:40 -0700)
commit376121eeed17ec3e99dd12efa59e9857344dc385
tree695223995c0953fff238af200b76ba10a70ca5df
parent5a5c1b857fe4f28205148054aa01db763ffe5a63
interval-sets: can just check one side or the other.
basis/interval-sets/interval-sets.factor