Beta

Loading Kata: Function extensionality and explicitness