Tag Info

type-theory Questions

4	1	András Kovács 4032 silver badges5 bronze badges
4	1	Dan Doel 1,1262 silver badges8 bronze badges
4	1	Andrej Bauer 22.8k1 gold badge51 silver badges91 bronze badges
2	1	Arthur Azevedo De Amorim 1213 bronze badges

453	65	Andrej Bauer 22.8k1 gold badge51 silver badges91 bronze badges
282	30	Gilles 'SO- stop being evil' 37.4k7 gold badges101 silver badges166 bronze badges
212	29	Derek Elkins 11.2k1 gold badge24 silver badges39 bronze badges
169	27	cody 7,23617 silver badges43 bronze badges
139	18	Martin Berger 7,51819 silver badges39 bronze badges
137	25	jmite 25.8k3 gold badges50 silver badges105 bronze badges
123	28	chi 13.4k21 silver badges33 bronze badges
91	8	Dave Clarke 19.2k3 gold badges56 silver badges110 bronze badges
55	9	Uday Reddy 3,9841 gold badge12 silver badges21 bronze badges
52	14	Dan Doel 1,1262 silver badges8 bronze badges
50	1	Edwin Brady 6166 silver badges3 bronze badges
45	15	D.W.♦ 112k14 gold badges144 silver badges321 bronze badges
43	4	Pseudonym 10.8k1 gold badge21 silver badges43 bronze badges
39	2	pigworker 5062 silver badges6 bronze badges
37	5	gallais 5633 silver badges12 bronze badges
34	1	Ranjit Jhala 4564 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
28	5	Daniel Gratzer 1,3901 gold badge11 silver badges19 bronze badges

jmite

25.8k3 gold badges50 silver badges105 bronze badges

126	10	jmite 25.8k3 gold badges50 silver badges105 bronze badges
108	12	MaiaVictor 3,83913 silver badges29 bronze badges
61	10	盛安安 8844 silver badges14 bronze badges
60	10	user56834 4,0053 gold badges9 silver badges20 bronze badges
52	10	Jake 3,19314 silver badges30 bronze badges
51	2	Victor 6155 silver badges5 bronze badges
50	2	Gilles 'SO- stop being evil' 37.4k7 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 5992 silver badges9 bronze badges
31	1	Snowball 4133 silver badges6 bronze badges
31	2	Guy Coder 4,7311 gold badge19 silver badges59 bronze badges
30	11	Pushpa 7313 silver badges10 bronze badges
28	1	Meta 3833 silver badges6 bronze badges
26	1	Thomas Cook 3693 silver badges4 bronze badges
26	4	gardenhead 2,0406 silver badges18 bronze badges
26	2	Jon Purdy 3651 silver badge8 bronze badges
26	1	Hugo Sereno Ferreira 3632 silver badges8 bronze badges
24	11	al pal 4576 bronze badges