@@ -28,17 +28,26 @@ The same can be done with definitions and custom types:
2828> increment 41
292942 : number
3030
31−> factorial n = if n < 1 then 1 else n * factorial (n-1)
31+> factorial n =
32+| if n < 1 then
33+| 1
34+| else
35+| n * factorial (n-1)
36+|
3237<function> : number -> number
3338
3439> factorial 5
3540120 : number
3641
37−> type User = Regular String | Visitor String
42+> type User
43+| = Regular String
44+| | Visitor String
45+|
3846
39−> case Regular "Tom" of \
40−| Regular name -> "Hey again!" /
47+> case Regular "Tom" of
48+| Regular name -> "Hey again!"
4149| Visitor name -> "Nice to meet you!"
50+|
4251"Hey again!" : String
4352```
4453