paulcc / ruby-refactoring

This is RASH (Ruby AnalysiS in Haskell) -- it's going to be all over your code! I aim to get it to do various static analyses, type checking, and refactoring on Ruby. It is being morphed from https://github.com/paulcc/minijava-compiler. Contributions welcome! I'm also very happy to explain things if people ask. (NOTE: I'd rather write this in Agda, but one step at a time...)