Y
Hacker News
new
|
ask
|
show
|
jobs
user:
rs86
created:
2017-02-02
karma:
186
submissions:
0 points
|
0 comments
Ask HN: Python Weekly Newsletters?
1 points
|
2 comments
0 points
|
0 comments
Philip Wadler talk on why people use FP
1 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
A very simple example of verification in Idris
1 points
|
0 comments
0 points
|
0 comments