Tag Info

type-theory Questions

32	1	K. A. Buhr 4211 silver badge4 bronze badges
21	2	Andrej Bauer 21.4k1 gold badge47 silver badges87 bronze badges
5	1	user11228628 1513 bronze badges
4	1	jmite 23.3k3 gold badges48 silver badges102 bronze badges
2	1	cody 7,08216 silver badges41 bronze badges
1	1	NietzscheanAI 7093 silver badges9 bronze badges
1	1	Mark Lassau 112 bronze badges

398	57	Andrej Bauer 21.4k1 gold badge47 silver badges87 bronze badges
268	28	Gilles♦ 34.1k7 gold badges98 silver badges166 bronze badges
201	27	Derek Elkins 10.8k1 gold badge24 silver badges36 bronze badges
165	27	cody 7,08216 silver badges41 bronze badges
138	18	Martin Berger 7,23518 silver badges37 bronze badges
129	22	jmite 23.3k3 gold badges48 silver badges102 bronze badges
118	26	chi 13.1k21 silver badges33 bronze badges
91	8	Dave Clarke 17.2k3 gold badges56 silver badges109 bronze badges
55	9	Uday Reddy 3,9141 gold badge12 silver badges21 bronze badges
48	1	Edwin Brady 5965 silver badges3 bronze badges
45	15	D.W.♦ 105k14 gold badges133 silver badges306 bronze badges
42	4	Pseudonym 10.3k1 gold badge21 silver badges42 bronze badges
39	2	pigworker 5062 silver badges6 bronze badges
37	5	gallais 5633 silver badges12 bronze badges
36	10	Dan Doel 8511 silver badge8 bronze badges
33	4	gasche 4692 silver badges3 bronze badges
32	1	K. A. Buhr 4211 silver badge4 bronze badges
31	1	Ranjit Jhala 4264 silver badges3 bronze badges
30	6	Rodolphe Lepigre 7003 silver badges10 bronze badges
28	5	jozefg 1,0401 gold badge10 silver badges19 bronze badges

24	1	Thomas Cook 2242 silver badges4 bronze badges
4	1	Labbekak 1067 bronze badges
2	1	Rafael Castro 1722 silver badges15 bronze badges
1	1	user56834 2,1053 gold badges7 silver badges18 bronze badges

112	8	jmite 23.3k3 gold badges48 silver badges102 bronze badges
105	12	MaiaVictor 1,94412 silver badges28 bronze badges
59	10	盛安安 4993 silver badges13 bronze badges
59	10	user56834 2,1053 gold badges7 silver badges18 bronze badges
52	10	Jake 2,33613 silver badges30 bronze badges
48	2	Gilles♦ 34.1k7 gold badges98 silver badges166 bronze badges
48	2	Victor 3453 silver badges5 bronze badges
39	5	Juan 3781 silver badge12 bronze badges
35	1	dst 1782 silver badges4 bronze badges
34	1	Squidly 2764 silver badges8 bronze badges
32	6	paulotorrens 3491 silver badge9 bronze badges
30	11	Pushpa 4162 silver badges10 bronze badges
29	2	Guy Coder 3,2061 gold badge19 silver badges57 bronze badges
29	1	Snowball 2482 silver badges6 bronze badges
27	1	Meta 2383 silver badges6 bronze badges
26	2	Jon Purdy 2351 silver badge8 bronze badges
26	4	gardenhead 1,6206 silver badges18 bronze badges
25	1	Hugo Sereno Ferreira 2282 silver badges8 bronze badges
24	1	Thomas Cook 2242 silver badges4 bronze badges
22	1	Ben Millwood 3941 silver badge12 bronze badges