Hacker News new | ask | show | jobs
by markusde 55 days ago
Thanks! Typeclasses are also something I really like about Lean.