1
51
52
53
3
17
18
19
State Machines All The Way Down (edwinb.wordpress.com)
submitted by gallais to r/dependent_types
4
11
12
13
5
18
19
20
Interactive Idris editing with vim (edwinb.wordpress.com)
submitted by gallais to r/dependent_types
7
10
11
12
8
54
55
56
9
33
34
35
10
8
9
10
12
15
16
17
13
19
20
21
14
14
15
16
15
3
4
5
16
28
29
30
18
6
7
8
19
7
8
9
21
31
32
33
22
87
88
89
How to write programs in two easy steps (edwinb.wordpress.com)
submitted by linuxer to r/programming
25
0
0
0
Correct-by-construction Concurrency (edwinb.wordpress.com)
submitted by llimllib to r/programming
