12 lines
247 B
Plaintext
12 lines
247 B
Plaintext
|
let User = { name : Text, home : Text }
|
||
|
|
||
|
let mkUser =
|
||
|
λ(_isAdmin : Bool)
|
||
|
→ if _isAdmin
|
||
|
|
||
|
then { name = "admin", home = "/home/admin" }
|
||
|
|
||
|
else { name = "default", home = "/home/user" }
|
||
|
|
||
|
in mkUser True : User
|