]> gitweb.factorcode.org Git - factor.git/commit
factlog vocab ==> logic vocab
authorkusumotonorio <47816570+kusumotonorio@users.noreply.github.com>
Tue, 3 Mar 2020 12:04:46 +0000 (21:04 +0900)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 3 Mar 2020 15:59:07 +0000 (15:59 +0000)
commit14ac76fc2c7f8dea0f8c1e72dd7111b6d30c4726
tree423be21fe1fb4aa5a440fb6a331b2349d1f1e52e
parenta37cb9857a6349f4b015d1aae48abfd4bf3a47c0
factlog vocab ==> logic vocab
21 files changed:
extra/logic/examples/factorial/factorial-tests.factor
extra/logic/examples/factorial/factorial.factor
extra/logic/examples/fib/fib-tests.factor
extra/logic/examples/fib/fib.factor
extra/logic/examples/fib2/fib2-tests.factor
extra/logic/examples/fib2/fib2.factor
extra/logic/examples/hanoi/hanoi-tests.factor
extra/logic/examples/hanoi/hanoi.factor
extra/logic/examples/hanoi2/hanoi2-tests.factor
extra/logic/examples/hanoi2/hanoi2.factor
extra/logic/examples/money/money-tests.factor
extra/logic/examples/money/money.factor
extra/logic/examples/zebra-short/zebra-short-tests.factor
extra/logic/examples/zebra-short/zebra-short.factor
extra/logic/examples/zebra/zebra-tests.factor
extra/logic/examples/zebra/zebra.factor
extra/logic/examples/zebra2/zebra2-tests.factor
extra/logic/examples/zebra2/zebra2.factor
extra/logic/logic-docs.factor
extra/logic/logic-tests.factor
extra/logic/logic.factor