Content deleted Content added
Line 33:
</syntaxhighlight>
The type and effect signature of <code>main</code> specifies that it takes no arguments, returns the <code>Unit</code> value, and that the function is impure. The <code>main</code> function must be declared as impure
=== Algebraic Data Types and Pattern Matching ===
|