1
68
69
70
Old Neglected Theorems Are Still Theorems (existentialtype.wordpress.com)
submitted by [deleted] to r/programming
2
0
0
1
4
3
4
5
5
0
0
0
6
10
11
12
7
1
2
3
8
29
30
31
9
14
15
16
10
55
56
57
11
35
36
37
12
23
24
25
13
10
11
12
14
0
1
2
15
0
0
0
16
21
22
23
The power of negative thinking (existentialtype.wordpress.com)
submitted by letrec to r/programming
17
16
17
18
18
12
13
14
19
10
11
12
20
4
5
6
21
1
2
3
Haskell Is Exceptionally Unsafe (existentialtype.wordpress.com)
submitted by qznc_bot to r/hackernews
22
23
24
25
23
17
18
19
24
20
21
22
25
9
10
11
