nikomatsakis/rust-redex — pull request #1 by pnkfelix (2013-11-21 17:11:51+00:00)
Title: get us closer to something plausible.

At this point it dies with `var-addr: no clauses matched for (var-addr (((g 1))) g)`

which makes sense because the definition of `var-addr` is:

```scheme
(define-metafunction Patina-machine
var-addr : vmaps x -> alpha)
```