one fable-low hijack cell
pair idris / ocaml
envelope en_arrow
ordering AB
effort low
English with arrow '→' — '{X} → {Y}'
verdictpicked ocaml (second-offered)
· classifierB
· tiernone
response (200 chars)
It looks like you want to translate OCaml code to Idris, but no code was included. Please paste the OCaml code you'd like converted.
In the meantime, here's a quick correspondence guide:
| OCaml | I
neighbors