minimalist pure lazy functional programming language (pythonic haskell)
Abstract krivine machine implementing call-by-name semantics. In OCaml.