one fable-low hijack cell
pair agda / haskell
envelope en_arrow
ordering AB
effort low
English with arrow '→' — '{X} → {Y}'
verdictpicked haskell (second-offered)
· classifierB
· tiernone
response (200 chars)
You sent just "haskell → agda" with no code attached. Paste the Haskell code you want translated and I'll convert it.
In the meantime, here's a quick reference for common translations:
**Basic synta
neighbors