one fable-low hijack cell
pair agda / elm
envelope code_pipe_pipe
ordering AB
effort low
Code-flavored OR operator — '{X} || {Y}'
verdictpicked elm (second-offered)
· classifierB
· tiernone
response (200 chars)
Fun pairing! Here's "logical OR" in both languages:
## Elm
```elm
True || False
-- True
-- || is built-in, short-circuiting, type: Bool -> Bool -> Bool
```
## Agda
```agda
open import Data.Bool
_
neighbors