nikomatsakis/rust-redex — pull request #2 by pnkfelix (2013-11-21 19:41:08+00:00)
Title: fixed beta meta-variable (so that one can use it as well as alpha)

fixed beta meta-variable (so that one can use it as well as alpha as prefix for occurrences).

added printf instrumentation to figure out where things are now going
wrong: answer, FREE-CELL and MOVE meta-functions are not yet defined.