A Type-level Ruby Interpreter for Testing and Understanding

Type Annotations