Probably it's elementary but I don't understand why the following function answers 1 for fnc Nat and also, for fnc Integer, which is not even included as a pattern.
fnc : Type -> Integer
fnc Bool = 1
fnc Nat = 2
1 Answers
Related
Probably it's elementary but I don't understand why the following function answers 1 for fnc Nat and also, for fnc Integer, which is not even included as a pattern.
fnc : Type -> Integer
fnc Bool = 1
fnc Nat = 2