Structural induction in haskell
Structural induction is a proof method in math
•
-
-
haskell infix operator
using operator as function name in haskell
• -
Understand haskell indentation
haskell indentation rules
•