Content deleted Content added
big expansion |
m dab haskell |
||
Line 5:
--- fact 0 <= 1;
--- fact n <= n*fact(n-1);
Unlike in [[Haskell programming language|Haskell]], changing the order of the clauses would not change the meaning of the program, because Hope's pattern matching always favors more specific patterns over less specific ones.
==External link==
|