Tag Info

type-theory Questions

7	1	Dan Doel 2,5791 gold badge9 silver badges14 bronze badges
3	1	NaCl 1316 bronze badges
1	1	Andrej Bauer 29.9k1 gold badge70 silver badges115 bronze badges

611	88	Andrej Bauer 29.9k1 gold badge70 silver badges115 bronze badges
335	38	Gilles 'SO- stop being evil' 43.2k7 gold badges116 silver badges181 bronze badges
220	29	Derek Elkins left SE 12k1 gold badge28 silver badges43 bronze badges
183	29	cody 7,97928 silver badges60 bronze badges
170	31	jmite 29.6k5 gold badges64 silver badges119 bronze badges
153	18	Martin Berger 8,30827 silver badges45 bronze badges
128	28	chi 14.4k1 gold badge29 silver badges39 bronze badges
113	28	Dan Doel 2,5791 gold badge9 silver badges14 bronze badges
98	8	Dave Clarke 20.2k4 gold badges67 silver badges113 bronze badges
60	7	Pseudonym♦ 21.3k2 gold badges40 silver badges80 bronze badges
59	1	Edwin Brady 7066 silver badges3 bronze badges
56	9	Uday Reddy 4,2741 gold badge16 silver badges23 bronze badges
52	9	András Kovács 9086 silver badges12 bronze badges
47	17	D.W.♦ 154k19 gold badges220 silver badges451 bronze badges
43	1	Ranjit Jhala 5465 silver badges3 bronze badges
43	2	pigworker 5463 silver badges6 bronze badges
38	5	gallais 5734 silver badges14 bronze badges
37	1	K. A. Buhr 4813 silver badges6 bronze badges
36	4	gasche 4992 silver badges3 bronze badges
31	7	Rodolphe Lepigre 7945 silver badges10 bronze badges

Weier

1813 bronze badges

150	10	jmite 29.6k5 gold badges64 silver badges119 bronze badges
111	12	MaiaVictor 4,1171 gold badge17 silver badges33 bronze badges
103	14	user56834 3,6224 gold badges18 silver badges30 bronze badges
66	10	盛安安 9345 silver badges14 bronze badges
58	2	Victor 6855 silver badges5 bronze badges
57	10	Jake 3,79019 silver badges35 bronze badges
53	2	Gilles 'SO- stop being evil' 43.2k7 gold badges116 silver badges181 bronze badges
42	1	Squidly 5315 silver badges8 bronze badges
39	5	Juan 7454 silver badges16 bronze badges
39	11	Pushpa 9335 silver badges12 bronze badges
38	7	paulotorrens 7113 silver badges11 bronze badges
36	1	dst 3634 silver badges4 bronze badges
36	15	al pal 6113 silver badges6 bronze badges
35	17	Lance 2,1631 gold badge16 silver badges29 bronze badges
32	1	Thomas Cook 4294 silver badges4 bronze badges
32	1	Snowball 4234 silver badges7 bronze badges
32	2	Guy Coder 5,0912 gold badges28 silver badges64 bronze badges
30	4	gardenhead 2,21012 silver badges19 bronze badges
30	1	Meta 4034 silver badges6 bronze badges
27	1	Hugo Sereno Ferreira 3932 silver badges9 bronze badges