Open pietervdvn opened 9 years ago
Way neater syntax
Also for
reduce [1,2,3] as Sum reduce [1,2,3] as Product
(Note that you lose the information that this is a Nat)
Nat
Way neater syntax