one fable-low hijack cell
pair agda / sml
envelope code_pipe_pipe
ordering BA
effort low
Code-flavored OR operator — '{X} || {Y}'
verdictpicked sml (second-offered)
· classifierB
· tiernone
response (200 chars)
# `||` in Agda vs Standard ML
## Standard ML
`orelse` is the built-in short-circuit operator (there's no `||`):
```sml
val x = true orelse false; (* true *)
(* andalso is the counterpart *)
val y
neighbors