logoalt Hacker News

asdfman123 • yesterday at 8:41 PM • 1 reply • view on HN

I am going to build an alternative to Lean called Purple Drank

Replies

bradleyy • yesterday at 11:19 PM

Do not be surprised when I fork and call it Sizzurp.