3 ms·
None of the other comments are about program benchmarks.
by igouy 6mo ago
None of the other comments are about program benchmarks.
- Syzygies 6mo agoThe common theme is diverse notions of a language. When I order from a menu, I don't order based on price, but I prefer to see the prices. Lean 4 is the most interesting language on my list. I didn't reject it on price.