one fable-low hijack cell
pair idris / reasonml
envelope en_pipe
ordering AB
effort low
English with pipe '|' — '{X} | {Y}'
verdictpicked idris (first-offered)
· classifierA
· tiernone
response (200 chars)
# Idris vs ReasonML
Two functional languages with very different goals:
## Idris
**Purpose:** Research-oriented language focused on **dependent types** — types that can depend on values.
```idris
neighbors