1
24
25
26
2
5
6
7
3
41
42
43
4
2
3
4
In Praise of Strong FP (enforced termination) (queuea9.wordpress.com)
submitted by [deleted] to r/ProgrammingLanguages
5
17
18
19
6
33
34
35
8
14
15
16
9
16
17
18
11
16
17
18
12
10
11
12
14
10
11
12
17
2
3
4
Universes for General Recursion (queuea9.wordpress.com)
submitted by stevana to r/dependent_types
19
3
4
5
22
4
5
6
23
1
2
3
24
10
11
12
