@@ -28,17 +28,26 @@ The same can be done with definitions and custom types:
28> increment 41
28> increment 41
2942 : number
2942 : number
31−> factorial n = if n < 1 then 1 else n * factorial (n-1)
35+| n * factorial (n-1)
32<function> : number -> number
37<function> : number -> number
34> factorial 5
39> factorial 5
35120 : number
40120 : number
37−> type User = Regular String | Visitor String
43+| = Regular String
39−> case Regular "Tom" of \
47+> case Regular "Tom" of
40−| Regular name -> "Hey again!" /
48+| Regular name -> "Hey again!"
41| Visitor name -> "Nice to meet you!"
49| Visitor name -> "Nice to meet you!"
42"Hey again!" : String
51"Hey again!" : String