add_one.png | |||
add_one.stm | |||
bb3.png | |||
bb3.stm | |||
concatenate_compare.mtm | |||
concatenate_compare.png | |||
length_difference.mtm | |||
length_difference.png | |||
let.rb | |||
mail.rb | |||
minsky.rb | |||
multiply.reg | |||
null_pattern.rb | |||
ones_difference-mtm.png | |||
ones_difference-stm.png | |||
ones_difference.mtm | |||
ones_difference.stm | |||
prefix-equals-suffix-reversed-with-infix.png | |||
prefix-equals-suffix-reversed-with-infix.stm | |||
recipe.rb | |||
recipe2.rb | |||
recipe_common.rb | |||
subtract.reg | |||
turing-graph.rb | |||
turing.rb |
VaKeR 2022