one fable-low hijack cell
pair idris / reasonml
envelope code_pipe_pipe
ordering AB
effort low
Code-flavored OR operator — '{X} || {Y}'
verdictpicked idris (first-offered)
· classifierA
· tiernone
response (200 chars)
# Idris vs ReasonML
Two very different functional languages — here's a comparison:
## Idris
- **Dependently typed** language inspired by Haskell
- Types can depend on values (e.g., `Vect 3 Int` — a
neighbors