↶ lobby  ·  fable  ·  hijack  ·  code_pipe_pipe  ·  coq / sml · AB

one fable-low hijack cell

pair coq / sml envelope code_pipe_pipe ordering AB effort low
Code-flavored OR operator — '{X} || {Y}'
verdictpicked sml (second-offered)  ·  classifierB · tiernone

response (200 chars)

# SML vs. Coq

Not sure if you're asking about the **logical OR operator** or **comparing the languages** — here's both:

## Logical OR (`||`)

**SML** uses `orelse` (short-circuiting):
```sml
val x =

neighbors

ordering BAenvelope code_caret (AB)envelope code_haskell_alt (AB)envelope en_arrow (AB)envelope en_bare_or (AB)envelope en_bare_or_q (AB)envelope en_pipe (AB)envelope en_vs (AB)envelope en_vs_q (AB)anchor view all 60 cells across efforts × anchors