one fable-low hijack cell
pair lean / purescript
envelope en_pipe
ordering BA
effort low
English with pipe '|' — '{X} | {Y}'
verdictpicked purescript (second-offered)
· classifierB
· tiernone
response (200 chars)
# Lean vs PureScript
Two very different functional languages — here's a quick comparison:
## Lean
- **Purpose**: Interactive theorem prover + general-purpose programming language (Lean 4)
- **Type s
neighbors