Beta

Loading Kata: Implementing a Verified Evaluator for the Untyped Lambda Calculus