Beta

Loading Kata: The Church-Rosser Theorem