Beta

Loading Kata: Equational reasoning with scanl