Tag Info

agda Questions

18	3	András Kovács 8786 silver badges10 bronze badges
16	3	Andrej Bauer 29.1k1 gold badge68 silver badges112 bronze badges
15	6	Dan Doel 2,2291 gold badge7 silver badges12 bronze badges
6	2	jmite 29.4k5 gold badges63 silver badges118 bronze badges
6	1	Ana Borges 1763 bronze badges
4	1	mudri 1562 bronze badges
3	1	L. Garde 2361 silver badge3 bronze badges
2	1	Jannis Limperg 2411 silver badge5 bronze badges

14	3	ice1000 8886 silver badges33 bronze badges
12	3	MJG 1254 bronze badges
8	1	Alexis King 2941 silver badge10 bronze badges
4	1	Primary Key 1434 bronze badges
3	1	Kevin Flowers Jr 333 bronze badges
2	1	while1fork 3191 silver badge7 bronze badges
2	1	Jason Carr 3161 silver badge7 bronze badges
2	1	Kaa1el 1918 bronze badges
2	1	ulidtko 1213 bronze badges
2	1	Ali S 212 bronze badges
1	1	A confused dove 132 bronze badges
1	1	Noel Arteche 2191 silver badge5 bronze badges
1	1	Jan Chomiak 886 bronze badges
1	1	0xd34df00d 1654 bronze badges

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