7 ms·
The 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 i
by Syzygies 6mo ago
The 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.