one fable-low hijack cell
pair idris / reasonml
envelope en_arrow
ordering AB
effort low
English with arrow '→' — '{X} → {Y}'
verdictpicked idris (first-offered)
· classifierA
· tiernone
response (200 chars)
# Idris → ReasonML
You haven't shared specific code yet, but here's a quick mapping guide between the two languages:
## Key Concept Mapping
| Idris | ReasonML |
|---|---|
| `data Maybe a = Nothing
neighbors