A Type-level Ruby Interpreter for Testing and Understanding

Static Analysis