logoalt Hacker News

kgwgk • today at 2:53 AM • 1 reply • view on HN

[flagged]

Replies

weatherlite • today at 3:57 AM

I think OP is saying Lean does indeed help.