logic.examples.hanoi2 vocabulary
Factor handbook » Vocabulary index

Summary

Metadata

Parents:

logic.examples

Words

Symbol words

A

B

C

X

Y

Z

hanoi

write-move

Files

resource:extra/logic/examples/hanoi2/hanoi2.factor
resource:extra/logic/examples/hanoi2/hanoi2-tests.factor