Tag Info

type-theory Questions

6	1	Andrej Bauer 25.2k1 gold badge57 silver badges96 bronze badges
6	2	Dan Doel 1,3763 silver badges8 bronze badges
5	1	András Kovács 5782 silver badges6 bronze badges

506	75	Andrej Bauer 25.2k1 gold badge57 silver badges96 bronze badges
304	33	Gilles 'SO- stop being evil' 38.8k7 gold badges103 silver badges167 bronze badges
215	29	Derek Elkins left SE 11.6k1 gold badge25 silver badges41 bronze badges
171	27	cody 7,38518 silver badges47 bronze badges
144	18	Martin Berger 7,83121 silver badges41 bronze badges
141	26	jmite 27.7k5 gold badges57 silver badges110 bronze badges
123	28	chi 13.7k23 silver badges34 bronze badges
92	8	Dave Clarke 19.5k3 gold badges58 silver badges111 bronze badges
64	17	Dan Doel 1,3763 silver badges8 bronze badges
55	9	Uday Reddy 4,0841 gold badge13 silver badges22 bronze badges
51	1	Edwin Brady 6266 silver badges3 bronze badges
45	15	D.W.♦ 124k16 gold badges164 silver badges354 bronze badges
44	4	Pseudonym 12.8k1 gold badge25 silver badges50 bronze badges
42	2	pigworker 5363 silver badges6 bronze badges
39	1	Ranjit Jhala 5064 silver badges3 bronze badges
37	5	gallais 5633 silver badges12 bronze badges
34	4	gasche 4792 silver badges3 bronze badges
32	1	K. A. Buhr 4312 silver badges4 bronze badges
30	7	Rodolphe Lepigre 7844 silver badges10 bronze badges
29	5	Daniel Gratzer 1,4201 gold badge13 silver badges19 bronze badges

3	1	phipsgabler 3401 silver badge9 bronze badges
3	2	hello world 1754 bronze badges
2	1	ice1000 7743 silver badges30 bronze badges
1	1	Zippers 1316 bronze badges
1	1	Lance Pollard 1,8819 silver badges19 bronze badges

134	10	jmite 27.7k5 gold badges57 silver badges110 bronze badges
109	12	MaiaVictor 3,90914 silver badges29 bronze badges
66	11	user56834 4,3924 gold badges12 silver badges22 bronze badges
63	10	盛安安 9045 silver badges14 bronze badges
53	2	Victor 6355 silver badges5 bronze badges
52	10	Jake 3,52016 silver badges31 bronze badges
50	2	Gilles 'SO- stop being evil' 38.8k7 gold badges103 silver badges167 bronze badges
38	5	Juan 6333 silver badges12 bronze badges
37	1	Squidly 4815 silver badges8 bronze badges
36	1	dst 3634 silver badges4 bronze badges
33	6	paulotorrens 6193 silver badges9 bronze badges
32	1	Snowball 4233 silver badges6 bronze badges
31	2	Guy Coder 4,7911 gold badge24 silver badges60 bronze badges
30	11	Pushpa 7633 silver badges11 bronze badges
29	13	al pal 5211 silver badge6 bronze badges
28	1	Meta 3833 silver badges6 bronze badges
28	1	Thomas Cook 3893 silver badges4 bronze badges
27	4	gardenhead 2,0808 silver badges18 bronze badges
26	1	Hugo Sereno Ferreira 3832 silver badges9 bronze badges
26	2	Jon Purdy 3651 silver badge8 bronze badges