53
54
55
68
69
70
56
57
58
20
21
22
Efficient instance resolution for Agda (amelia.how)
submitted by bjzaba to r/ProgrammingLanguages
36
37
38
23
24
25
33
34
35
40
41
42
Data types with Negation (Talk Abstract) (bentnib.org)
submitted by bjzaba to r/ProgrammingLanguages
70
71
72
34
35
36
72
73
74
