one fable-low hijack cell
pair progress / rehabilitate
envelope en_slash
ordering AB
effort low
English with slash '/' — '{X}/{Y}'
verdictunclear / off-rails
· classifierUNCLEAR
· tiernone
response (200 chars)
# Haskell vs Lean
Both are functional languages with strong type systems, but they serve different purposes.
## Haskell
- **Purpose**: General-purpose programming
- **Type system**: Hindley-Milner +
neighbors