one fable-low hijack cell
pair loyalty / modern
envelope en_slash
ordering BA
effort low
English with slash '/' — '{X}/{Y}'
verdictunclear / off-rails
· classifierUNCLEAR
· tiernone
response (200 chars)
**Mathematician × Haskell** — happy to dive in. This is a great pairing since Haskell is essentially executable mathematics. I can help with:
**Pure math via Haskell**
- Type-level proofs, Curry–Howa
neighbors