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