rs86 Karma 186 Created 8 years ago Recent Submissions 1. ▲ Ask HN: Python Weekly Newsletters? 1 point · 5 years ago · 2 comments 2. ▲ Philip Wadler talk on why people use FP (youtu.be) 1 point · 5 years ago · 0 comments 3. ▲ A very simple example of verification in Idris (gist.github.com) 1 point · 7 years ago · 0 comments All submissions on HN · View profile on HN