so a lambda type can't be written as `rule: T -&gt...
# getting-started
p
so a lambda type can't be written as
rule: T -> Boolean
, it has to be
rule: (T) -> Boolean
but lambda definition has to be
x -> false
, because
(x) -> false
means destructuring. WTH?
👍 2