Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
rs86 | Dark Hacker News
user:
rs86
created:
February 2, 2017
karma:
186
submissions
comments
1.
Ask HN: Python Weekly Newsletters?
1 points
by
rs86
6 years ago
|
2 comments
2.
Philip Wadler talk on why people use FP
(youtu.be)
1 points
by
rs86
6 years ago
|
0 comments
3.
A very simple example of verification in Idris
(gist.github.com)
1 points
by
rs86
7 years ago
|
0 comments