one fable-low hijack cell
pair idris / sml
envelope en_pipe
ordering AB
effort low
English with pipe '|' — '{X} | {Y}'
verdictpicked idris (first-offered)
· classifierA
· tiernone
response (200 chars)
# Standard ML vs. Idris
A comparison of two influential functional languages:
## Quick Overview
| Aspect | Standard ML | Idris |
|---|---|---|
| **First appeared** | 1983 (SML '97 standard) | 2007
neighbors