Hacker News new | ask | show | jobs
by lupire 660 days ago
Lean doesn't have expressiveness notation. It's like Perl line noise.