Tag Info

dependent-type Questions

2062 bronze badges

198	25	Andrej Bauer 26.6k1 gold badge71 silver badges124 bronze badges
152	21	cody 13.2k1 gold badge43 silver badges87 bronze badges
147	15	Neel Krishnaswami 31.6k1 gold badge94 silver badges163 bronze badges
52	3	Dave Clarke 16.6k3 gold badges58 silver badges106 bronze badges
36	7	András Kovács 1,3297 silver badges7 bronze badges
32	5	Martin Berger 10.3k3 gold badges34 silver badges62 bronze badges
29	12	ice1000 9233 silver badges21 bronze badges
23	4	gallais 6364 silver badges14 bronze badges
20	1	jbapple 11k2 gold badges27 silver badges50 bronze badges
18	2	Marc Hamann 2,8641 gold badge22 silver badges22 bronze badges
17	4	Jesper 3461 silver badge4 bronze badges
15	1	Levi Pearson 2662 silver badges2 bronze badges
15	1	Charles Stewart 4,27626 silver badges45 bronze badges
14	1	Jasper Hugunin 2562 silver badges4 bronze badges
13	1	Radu GRIGore 4,74628 silver badges68 bronze badges
11	1	Ulrik Buchholtz 7266 silver badges6 bronze badges
11	2	Dominic Mulligan 8379 silver badges15 bronze badges
10	1	Anthony 7104 silver badges12 bronze badges
9	1	David Christiansen 2062 bronze badges
9	1	Gabriella Gonzalez 2061 silver badge3 bronze badges

CrabMan

1333 bronze badges

98	9	Konstantin Solomatov 1,71211 silver badges20 bronze badges
61	9	Joey Eremondi 2,72414 silver badges29 bronze badges
48	1	John Salvatier 1,31513 silver badges11 bronze badges
44	5	StudentType 7773 silver badges9 bronze badges
37	4	Neel Krishnaswami 31.6k1 gold badge94 silver badges163 bronze badges
32	1	Brian McKenna 4233 silver badges6 bronze badges
27	1	ninjagecko 3733 silver badges5 bronze badges
26	11	Siddharth Bhat 5652 silver badges8 bronze badges
24	3	mrsteve 4432 silver badges12 bronze badges
21	4	molikto 3171 silver badge9 bronze badges
18	1	Rui Baptista 2831 silver badge5 bronze badges
17	1	Max New 1,4127 silver badges19 bronze badges
17	3	ice1000 9233 silver badges21 bronze badges
16	1	Petr 2,47112 silver badges25 bronze badges
16	2	Anthony 7104 silver badges12 bronze badges
15	2	helmut 3651 silver badge6 bronze badges
15	1	user833970 5362 silver badges10 bronze badges
15	3	Nift 7233 silver badges11 bronze badges
14	2	Jacques Carette 1,49013 silver badges23 bronze badges
10	2	MaiaVictor 3,0459 silver badges29 bronze badges