one fable-low hijack cell
pair idris / sml
envelope code_pipe_pipe
ordering BA
effort low
Code-flavored OR operator — '{X} || {Y}'
verdictpicked sml (second-offered)
· classifierB
· tiernone
response (200 chars)
Not sure which you meant, so here's both interpretations:
## The `||` operator (logical OR)
**Idris:**
```idris
-- (||) : Bool -> Lazy Bool -> Bool
True || _ = True
False || x = x
-- Usage
test : B
neighbors