Tag Info

dependent-type Questions

14	6	ice1000 5752 silver badges17 bronze badges
5	1	Neel Krishnaswami 30.8k89 silver badges159 bronze badges
2	1	Stefan 3822 silver badges9 bronze badges

182	22	Andrej Bauer 25.4k1 gold badge67 silver badges115 bronze badges
149	21	cody 12.7k1 gold badge39 silver badges81 bronze badges
141	14	Neel Krishnaswami 30.8k89 silver badges159 bronze badges
51	3	Dave Clarke 16.4k3 gold badges57 silver badges106 bronze badges
29	4	Martin Berger 10.1k3 gold badges33 silver badges62 bronze badges
27	6	András Kovács 9344 silver badges6 bronze badges
23	4	gallais 6264 silver badges14 bronze badges
19	1	jbapple 10.9k2 gold badges26 silver badges50 bronze badges
19	9	ice1000 5752 silver badges17 bronze badges
18	2	Marc Hamann 2,7841 gold badge21 silver badges22 bronze badges
15	1	Charles Stewart 4,25625 silver badges45 bronze badges
15	4	Jesper 3261 silver badge4 bronze badges
15	1	Levi Pearson 2662 silver badges2 bronze badges
13	1	Radu GRIGore 4,62626 silver badges68 bronze badges
12	1	Jasper Hugunin 2361 silver badge4 bronze badges
10	1	Ulrik Buchholtz 7166 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,8321 gold badge15 silver badges15 bronze badges
9	1	Gabriel Gonzalez 2061 silver badge2 bronze badges

15	7	Siddharth Bhat 5252 silver badges8 bronze badges
6	1	ice1000 5752 silver badges17 bronze badges

96	9	Konstantin Solomatov 1,67210 silver badges18 bronze badges
60	9	jmite 2,41712 silver badges27 bronze badges
47	1	John Salvatier 1,28512 silver badges11 bronze badges
43	5	StudentType 7673 silver badges9 bronze badges
36	4	Neel Krishnaswami 30.8k89 silver badges159 bronze badges
31	1	Brian McKenna 4133 silver badges6 bronze badges
24	3	mrsteve 4332 silver badges11 bronze badges
24	1	ninjagecko 3432 silver badges5 bronze badges
22	11	Siddharth Bhat 5252 silver badges8 bronze badges
20	4	molikto 3071 silver badge9 bronze badges
18	1	Rui Baptista 2831 silver badge5 bronze badges
16	2	Anthony 7004 silver badges12 bronze badges
16	1	Max New 1,2056 silver badges19 bronze badges
15	1	Petr 2,43111 silver badges24 bronze badges
14	2	Jacques Carette 1,46013 silver badges23 bronze badges
14	1	user833970 5162 silver badges10 bronze badges
10	1	Nikolaj-K 4912 silver badges10 bronze badges
10	2	MaiaVictor 3,0058 silver badges28 bronze badges
9	1	Russell O'Connor 6184 silver badges7 bronze badges
9	1	Guillaume Brunerie 1934 bronze badges