]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e8b9d0) | patch
sets: remove intersection in favor of refine.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 7 Dec 2020 20:14:04 +0000 (12:14 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 7 Dec 2020 20:14:04 +0000 (12:14 -0800)
commit93d91868b5212051e94239b20cf69098c7ce2053
tree847c175a3f653fe2aaab83fa87792a1da82582f3tree | snapshot
parent0e8b9d063149e565ad07efc49afe50929e455b4dcommit | diff
sets: remove intersection in favor of refine.

For now, combine/refine probably need better names... maybe
    union-of/intersection-of
    union-all/intersect-all
core/sets/sets-docs.factor diff | blob | history
core/sets/sets.factor diff | blob | history
Factor programming language