4 ms·
> you'd try to make a website backend in lean Well, I would neither use Haskell for this purpose, and Lean is indeed supposed to also be a "programming languag
by Rochus 6y ago
> you'd try to make a website backend in lean
Well, I would neither use Haskell for this purpose, and Lean is indeed supposed to also be a "programming language", not only a theorem prover.
- Zhyl 6y agoThat's interesting, I've only ever seen it being used in the context of mathlib.