on 492ae2f help sign in
39 lines 797 B history raw
1# `:ifcl`, `?^`, "wutket" `{$ifcl p/wing q/twig r/twig}`
2====
4If `p` is cell-then-else.
6If `p` is a cell, then produce `q`. Else, produce `r`.
8Regular form: *3-fixed*
10Examples:
12 ~zod/try=> =(*@tas "")
13 %.y
14 ~zod/try=> ?^ ""
15 %full
16 %empty
17 %empty
18 ~zod/try=> ?^ "asd"
19 %full
20 %empty
21 %full
23Here we show that `*@tas`, the bunt of `@tas` is equivalent to the empty
24`++tape` `""`, then use it in two `?^` cases.
26 ~zod/try=> *(unit)
27 ~
28 ~zod/try=> ?^ `(unit)`~
29 %full
30 %empty
31 %empty
32 ~zod/try=> ?^ `(unit)`[~ u=20]
33 %full
34 %empty
35 %full
37Similar to the above case, we show the bunt of a `++unit`, which is
38`~`, and test against it.