Screencasts Typed Clojure screencasts. Screencast 1 - Lambda Calculus Interpreter We create a typed checked lambda calculus interpreter. Code Screencast 2 - Typed REPL and Compilation Integration We review the latest improvements to the Typed Clojure REPL. Code