contract-repl (racket): A REPL that prints contracts on values
Keywords: contracts|repl