Tag Info

type-theory Questions

6	1	Andrej Bauer 23.5k1 gold badge54 silver badges93 bronze badges
3	1	Dan Doel 1,1662 silver badges8 bronze badges

465	67	Andrej Bauer 23.5k1 gold badge54 silver badges93 bronze badges
288	31	Gilles 'SO- stop being evil' 37.8k7 gold badges101 silver badges166 bronze badges
214	29	Derek Elkins left SE 11.3k1 gold badge25 silver badges40 bronze badges
170	27	cody 7,31117 silver badges44 bronze badges
142	18	Martin Berger 7,63820 silver badges40 bronze badges
137	25	jmite 26k3 gold badges51 silver badges107 bronze badges
124	28	chi 13.5k22 silver badges33 bronze badges
91	8	Dave Clarke 19.3k3 gold badges56 silver badges110 bronze badges
55	9	Uday Reddy 4,0241 gold badge12 silver badges21 bronze badges
55	15	Dan Doel 1,1662 silver badges8 bronze badges
50	1	Edwin Brady 6166 silver badges3 bronze badges
45	15	D.W.♦ 116k14 gold badges152 silver badges331 bronze badges
44	4	Pseudonym 11.3k1 gold badge22 silver badges45 bronze badges
41	2	pigworker 5263 silver badges6 bronze badges
37	5	gallais 5633 silver badges12 bronze badges
36	1	Ranjit Jhala 4764 silver badges3 bronze badges
33	4	gasche 4692 silver badges3 bronze badges
32	1	K. A. Buhr 4311 silver badge4 bronze badges
30	7	Rodolphe Lepigre 7743 silver badges10 bronze badges
29	5	Daniel Gratzer 1,4101 gold badge12 silver badges19 bronze badges

heartpie2

313 bronze badges

127	10	jmite 26k3 gold badges51 silver badges107 bronze badges
109	12	MaiaVictor 3,86913 silver badges29 bronze badges
62	10	盛安安 8945 silver badges14 bronze badges
62	10	user56834 3,9133 gold badges9 silver badges20 bronze badges
52	10	Jake 3,20314 silver badges30 bronze badges
51	2	Victor 6155 silver badges5 bronze badges
50	2	Gilles 'SO- stop being evil' 37.8k7 gold badges101 silver badges166 bronze badges
38	5	Juan 6333 silver badges12 bronze badges
36	1	dst 3633 silver badges4 bronze badges
35	1	Squidly 4615 silver badges8 bronze badges
33	6	paulotorrens 6193 silver badges9 bronze badges
31	2	Guy Coder 4,7611 gold badge23 silver badges60 bronze badges
31	1	Snowball 4133 silver badges6 bronze badges
30	11	Pushpa 7633 silver badges11 bronze badges
28	1	Meta 3833 silver badges6 bronze badges
27	1	Thomas Cook 3793 silver badges4 bronze badges
27	12	al pal 4876 bronze badges
26	1	Hugo Sereno Ferreira 3632 silver badges8 bronze badges
26	2	Jon Purdy 3651 silver badge8 bronze badges
26	4	gardenhead 2,0406 silver badges18 bronze badges