logoalt Hacker News

anon48293 • today at 5:46 AM • 0 replies • view on HN

It will (hopefully) move towards things like Lean