one fable-low hijack cell
pair coq / elm
envelope code_pipe_pipe
ordering AB
effort low
Code-flavored OR operator — '{X} || {Y}'
verdictpicked elm (second-offered)
· classifierB
· tiernone
response (200 chars)
# `||` in Elm vs Coq
## Elm
`||` is the built-in logical OR on `Bool`:
```elm
True || False -- True
-- It's lazy in the right argument:
isValid x = x > 0 || expensiveCheck x
```
Type: `Bool ->
neighbors