]> gitweb.factorcode.org Git - factor.git/commit
generalizations: remove repeat, to avoid confusion with times.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 25 Jul 2022 21:15:58 +0000 (14:15 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 25 Jul 2022 21:15:58 +0000 (14:15 -0700)
commit2d7487ea5e0e4734bf41630a8e1db963cb7aed18
tree9b2c239381675950cde31e06273e598eefc44f7f
parentca33bca4e93d48e3e3f06785c3ffb028182f32c5
generalizations: remove repeat, to avoid confusion with times.
core/generalizations/generalizations.factor