4 ms·
When I saw “Lean” I thought https://en.m.wikipedia.org/wiki/Lean_manufacturing https://en.m.wikipedia.org/wiki/Lean_manufacturing
by StarlaAtNight 1y ago
When I saw “Lean” I thought https://en.m.wikipedia.org/wiki/Lean_manufacturing https://en.m.wikipedia.org/wiki/Lean_manufacturing
- dudeinjapan 1y agoI thought purple drank https://en.wikipedia.org/wiki/Lean_(drug) https://en.wikipedia.org/wiki/Lean_(drug) Always seemed odd they would name a proof assistant language after cough syrup