Thanks! Typeclasses are also something I really like about Lean.

alt Hacker News

markusde • yesterday at 9:39 PM • 0 replies • view on HN