]>
2023-01-12 | Doug Coleman | factor: fix some spacing | blob | commitdiff | raw |
2022-01-20 | Doug Coleman | factor: trim more using lists. | blob | commitdiff | raw | diff to current |
2020-05-16 | John Benediktsson | logic.examples.money: use lnth and leach. | blob | commitdiff | raw | diff to current |
2020-05-16 | John Benediktsson | basis/extra: replace "/ >integer" with "/i" in a few... | blob | commitdiff | raw | diff to current |
2020-03-03 | kusumotonorio | factlog vocab ==> logic vocab | blob | commitdiff | raw | diff to current |
2020-03-03 | kusumotonorio | Rename directory, files. | blob | commitdiff | raw | diff to current |