one fable-low hijack cell
pair lean / purescript
envelope en_arrow
ordering BA
effort low
English with arrow '→' — '{X} → {Y}'
verdictpicked purescript (second-offered)
· classifierB
· tiernone
response (200 chars)
It looks like you want to translate Lean code to PureScript, but you haven't shared any code yet. Paste your Lean snippet and I'll convert it.
In the meantime, here's a quick mapping between the two
neighbors