one fable-low hijack cell
pair elm / idris
envelope en_arrow
ordering BA
effort low
English with arrow '→' — '{X} → {Y}'
verdictpicked elm (first-offered)
· classifierA
· tiernone
response (200 chars)
It looks like you want to convert Idris code to Elm — but you haven't pasted any code yet. Share the snippet and I'll translate it.
A few things to know upfront, since the languages differ a lot:
**
neighbors