An experimental type-level Ruby interpreter for testing and understanding Ruby code - View it on GitHub