Tag Info

agda Questions

Naïm Favier

5363 silver badges11 bronze badges

75	13	ice1000♦ 6,52211 silver badges64 bronze badges
66	5	András Kovács 2,0779 silver badges17 bronze badges
46	9	gallais 1,2644 silver badges12 bronze badges
43	7	Andrej Bauer 11k23 silver badges64 bronze badges
30	5	Meven Lennon-Bertrand♦ 5,8988 silver badges28 bronze badges
28	2	Neel Krishnaswami 2,0835 silver badges17 bronze badges
22	3	Jesper 5065 silver badges8 bronze badges
20	5	Joey Eremondi 1,0014 silver badges14 bronze badges
19	1	Namdak Tönpa 1,3077 silver badges26 bronze badges
16	2	pigworker 7712 silver badges10 bronze badges
15	3	Dan Doel 1,0025 silver badges7 bronze badges
14	4	Trebor♦ 4,3341 gold badge9 silver badges40 bronze badges
14	1	Couchy 2,3302 gold badges9 silver badges39 bronze badges
12	1	Lawrence Paulson 8163 silver badges6 bronze badges
11	3	James Wood 1,0634 silver badges17 bronze badges
10	2	ionchy 1,0263 silver badges18 bronze badges
9	1	François G. Dorais 6603 silver badges13 bronze badges
8	3	Naïm Favier 5363 silver badges11 bronze badges
8	1	James Martin 1,0454 silver badges24 bronze badges
7	1	James McKinna 712 bronze badges

1	1	Aiono 1112 bronze badges
1	1	John Clements 1135 bronze badges

67	9	ice1000♦ 6,52211 silver badges64 bronze badges
47	3	Meven Lennon-Bertrand♦ 5,8988 silver badges28 bronze badges
32	5	Joey Eremondi 1,0014 silver badges14 bronze badges
30	2	Mike Shulman 3,2707 silver badges34 bronze badges
23	3	Itai Zukerman 3451 silver badge6 bronze badges
22	1	pigworker 7712 silver badges10 bronze badges
21	4	IsAdisplayName 3171 silver badge6 bronze badges
16	1	Blaisorblade 3943 silver badges9 bronze badges
15	1	Sean O'Connor 3612 silver badges10 bronze badges
13	3	Ilk 5472 silver badges12 bronze badges
12	2	aradarbel10 3191 silver badge5 bronze badges
11	4	tinlyx 2,6621 gold badge7 silver badges30 bronze badges
10	2	Guy Coder 2,8561 gold badge12 silver badges39 bronze badges
9	1	Couchy 2,3302 gold badges9 silver badges39 bronze badges
8	1	James Wood 1,0634 silver badges17 bronze badges
8	1	James Martin 1,0454 silver badges24 bronze badges
8	1	Olek Gierczak 834 bronze badges
8	1	Eric Dobson 1811 bronze badge
7	1	Fmbalbuena 2453 silver badges10 bronze badges
7	1	Jesper 5065 silver badges8 bronze badges

Only non community-wiki questions and answers are included in these totals (updated daily)