Tag Info

dependent-type Questions

184	22	Andrej Bauer 25.6k1 gold badge68 silver badges116 bronze badges
150	21	cody 12.8k1 gold badge39 silver badges83 bronze badges
142	14	Neel Krishnaswami 31.1k90 silver badges160 bronze badges
51	3	Dave Clarke 16.4k3 gold badges58 silver badges106 bronze badges
34	7	András Kovács 1,0295 silver badges6 bronze badges
32	5	Martin Berger 10.1k3 gold badges34 silver badges62 bronze badges
26	11	ice1000 7652 silver badges21 bronze badges
23	4	gallais 6264 silver badges14 bronze badges
19	1	jbapple 10.9k2 gold badges27 silver badges50 bronze badges
18	2	Marc Hamann 2,8141 gold badge22 silver badges22 bronze badges
16	4	Jesper 3361 silver badge4 bronze badges
15	1	Charles Stewart 4,25626 silver badges45 bronze badges
15	1	Levi Pearson 2662 silver badges2 bronze badges
13	1	Radu GRIGore 4,65627 silver badges68 bronze badges
12	1	Jasper Hugunin 2361 silver badge4 bronze badges
11	1	Ulrik Buchholtz 7266 silver badges5 bronze badges
10	2	Dominic Mulligan 8379 silver badges15 bronze badges
10	1	Anthony 7004 silver badges12 bronze badges
9	2	gasche 1,8421 gold badge15 silver badges15 bronze badges
9	1	Gabriella Gonzalez 2061 silver badge2 bronze badges

96	9	Konstantin Solomatov 1,68210 silver badges18 bronze badges
60	9	jmite 2,41712 silver badges27 bronze badges
47	1	John Salvatier 1,30513 silver badges11 bronze badges
44	5	StudentType 7773 silver badges9 bronze badges
37	4	Neel Krishnaswami 31.1k90 silver badges160 bronze badges
31	1	Brian McKenna 4133 silver badges6 bronze badges
25	1	ninjagecko 3533 silver badges5 bronze badges
24	3	mrsteve 4332 silver badges11 bronze badges
22	11	Siddharth Bhat 5252 silver badges8 bronze badges
21	4	molikto 3171 silver badge9 bronze badges
18	1	Rui Baptista 2831 silver badge5 bronze badges
17	1	Max New 1,2256 silver badges19 bronze badges
16	2	Anthony 7004 silver badges12 bronze badges
15	1	Petr 2,44112 silver badges24 bronze badges
15	3	ice1000 7652 silver badges21 bronze badges
14	2	Jacques Carette 1,48013 silver badges23 bronze badges
14	2	helmut 3551 silver badge6 bronze badges
14	1	user833970 5162 silver badges10 bronze badges
10	2	MaiaVictor 3,0059 silver badges28 bronze badges
10	1	Nikolaj-K 4952 silver badges10 bronze badges