John Benediktsson
|
6e23222187
|
logic: use not.
|
2020-05-28 09:13:44 -07:00 |
|
John Benediktsson
|
abb1755311
|
logic.examples.money: use lnth and leach.
|
2020-05-16 11:26:16 -07:00 |
|
John Benediktsson
|
5f89facf9e
|
basis/extra: replace "/ >integer" with "/i" in a few places.
|
2020-05-16 11:17:42 -07:00 |
kusumotonorio
|
d8f813a531
|
Reduced stack waste, added LOGIC-RED: and LOGIC-VAR:, a little speed up.
|
2020-03-15 03:22:57 +00:00 |
|
John Benediktsson
|
ab81a957c9
|
logic.examples: cleanup, make hanoi tests assert output.
|
2020-03-03 08:09:52 -08:00 |
|
kusumotonorio
|
4ecc1110c8
|
logic.factor: [ quot call( -- ) ] --> quot
|
2020-03-03 15:59:07 +00:00 |
|
kusumotonorio
|
14ac76fc2c
|
factlog vocab ==> logic vocab
|
2020-03-03 15:59:07 +00:00 |
|
kusumotonorio
|
a37cb9857a
|
Rename directory, files.
|
2020-03-03 15:59:07 +00:00 |