Hacker News new | ask | show | jobs
by kevinqi 316 days ago
very cool. btw, I also love that "sorry" is the "any" equivalent in Lean