one fable-low hijack cell
pair idris / sml
envelope en_arrow
ordering AB
effort low
English with arrow '→' — '{X} → {Y}'
verdictpicked idris (first-offered)
· classifierA
· tiernone
response (200 chars)
It looks like you want to translate Standard ML code to Idris, but no code was included. Paste your SML code and I'll convert it.
In the meantime, here's a quick correspondence cheat sheet:
**Basics
neighbors