Tag Info

dependent-types Questions

199	26	Andrej Bauer 23.6k1 gold badge55 silver badges94 bronze badges
135	13	cody 7,34117 silver badges44 bronze badges
53	6	Derek Elkins left SE 11.4k1 gold badge25 silver badges40 bronze badges
53	9	Gilles 'SO- stop being evil' 37.9k7 gold badges102 silver badges166 bronze badges
51	1	Edwin Brady 6266 silver badges3 bronze badges
47	9	jmite 26.5k4 gold badges54 silver badges108 bronze badges
38	1	Ranjit Jhala 4964 silver badges3 bronze badges
33	5	chi 13.6k22 silver badges33 bronze badges
24	4	gallais 5633 silver badges12 bronze badges
23	1	Daniil 2,07714 silver badges24 bronze badges
21	7	Dan Doel 1,2062 silver badges8 bronze badges
16	2	Martin Berger 7,65820 silver badges40 bronze badges
15	1	Alexey Romanov 2,64712 silver badges17 bronze badges
7	1	Alexander Kogtenkov 1861 silver badge5 bronze badges
7	1	Musa Al-hassy 8841 gold badge5 silver badges9 bronze badges
6	1	Aaron Stump 611 bronze badge
4	2	L. Garde 1163 bronze badges
4	2	Mostowski Collapse 2081 silver badge5 bronze badges
4	1	Daniel Gratzer 1,4101 gold badge12 silver badges19 bronze badges
4	1	Warbo 4822 silver badges8 bronze badges

while1fork

2991 silver badge7 bronze badges

118	8	jmite 26.5k4 gold badges54 silver badges108 bronze badges
42	1	Victor 6155 silver badges5 bronze badges
36	1	Squidly 4715 silver badges8 bronze badges
31	2	Kostya 4152 silver badges7 bronze badges
27	3	盛安安 8945 silver badges14 bronze badges
26	2	MaiaVictor 3,87913 silver badges29 bronze badges
25	6	Pushpa 7633 silver badges11 bronze badges
25	4	Jake 3,22814 silver badges30 bronze badges
18	6	al pal 5076 bronze badges
17	3	Labbekak 4432 silver badges8 bronze badges
13	1	Abhishek Kumar 2411 silver badge3 bronze badges
11	1	Dr. John A Zoidberg 2211 silver badge3 bronze badges
11	1	Michael Rawson 2331 silver badge8 bronze badges
11	1	huynhjl 2131 silver badge7 bronze badges
10	1	paulotorrens 6193 silver badges9 bronze badges
9	1	meguli 2851 silver badge5 bronze badges
9	1	Alex 2331 silver badge4 bronze badges
8	1	fsestini 812 bronze badges
8	1	John Gowers 1834 bronze badges
8	1	hawkeye 1,1136 silver badges17 bronze badges