5 kyu

Loading Kata: Uneval your Agda expression