d_christiansen Karma 111 Created 3 years ago Recent Submissions 1. ▲ Functional Programming in Lean (leanprover.github.io) 159 points · 2 years ago · 37 comments 2. ▲ Functional Programming in Lean – an in-progress book (leanprover.github.io) 2 points · 3 years ago · 0 comments All submissions on HN · View profile on HN