Development record Lazy anf strict evaluation of simple lambda calculus Lazy pattern matching Abstract the std::error::Error trait Basic type inference