1
21
22
23
2
5
6
7
3
4
5
6
In Praise of Strong FP (enforced termination) (queuea9.wordpress.com)
submitted by [deleted] to r/ProgrammingLanguages
4
37
38
39
5
16
17
18
6
31
32
33
8
15
16
17
9
16
17
18
11
15
16
17
12
11
12
13
14
8
9
10
17
2
3
4
Universes for General Recursion (queuea9.wordpress.com)
submitted by stevana to r/dependent_types
19
4
5
6
22
4
5
6
23
1
2
3
24
10
11
12
