ICFP Programming Contest 2002

Submitted entries

This directory contains the submitted entries that were part of the judging process.

We fixed trivial bugs in some of the programs. These are the submitted files, however, so our fixes are not included.

Name Last modified Size Description

[PARENTDIR] Parent Directory -

[ ] 4.tar.gz 2002-08-31 01:17 56K

[ ] 5.tar.gz 2002-08-31 01:44 4.8K

[ ] 7.tar.gz 2002-08-31 09:38 5.5K

[ ] 8.tar.gz 2002-08-31 12:49 939K

[ ] 9.tar.gz 2002-08-31 12:51 1.7M

[ ] 10.tar.gz 2002-08-31 12:54 159K

[ ] 11.tar.gz 2002-08-31 12:56 18K

[ ] 12.tar.gz 2002-08-31 12:58 140K

[ ] 13.tar.gz 2002-08-31 12:58 96K

[ ] 14.tar.gz 2002-08-31 13:05 6.2K

[ ] 16.tar.gz 2002-08-31 21:23 60K

[ ] 19.tar.gz 2002-09-01 05:54 5.5K

[ ] 21.tar.gz 2002-09-01 08:11 5.6K

[ ] 22.tar.gz 2002-09-01 08:28 14K

[ ] 30.tar.gz 2002-09-01 15:51 104K

[ ] 34.tar.gz 2002-09-01 17:29 5.7K

[ ] 35.tar.gz 2002-09-01 18:22 29K

[ ] 37.tar.gz 2002-09-01 19:20 6.3K

[ ] 39.tar.gz 2002-09-01 19:55 102K

[ ] 41.tar.gz 2002-09-01 21:40 20K

[ ] 42.tar.gz 2002-09-01 21:53 4.6K

[ ] 43.tar.gz 2002-09-01 22:27 452K

[ ] 48.tar.gz 2002-09-02 01:23 43K

[ ] 53.tar.gz 2002-09-02 03:06 542K

[ ] 54.tar.gz 2002-09-02 03:27 14K

[ ] 56.tar.gz 2002-09-02 03:54 6.1K

[ ] 57.tar.gz 2002-09-02 04:10 1.0M

[ ] 60.tar.gz 2002-09-02 05:26 353K

[ ] 61.tar.gz 2002-09-02 05:53 48K

[ ] 63.tar.gz 2002-09-02 05:58 250K

[ ] 65.tar.gz 2002-09-02 06:27 340K

[ ] 66.tar.gz 2002-09-02 06:54 122K

[ ] 67.tar.gz 2002-09-02 07:02 27K

[ ] 68.tar.gz 2002-09-02 07:41 27K

[ ] 73.tar.gz 2002-09-02 08:52 341K

[ ] 74.tar.gz 2002-09-02 09:00 12K

[ ] 76.tar.gz 2002-09-02 09:12 20K

[ ] 78.tar.gz 2002-09-02 09:52 307K

[ ] 81.tar.gz 2002-09-02 10:01 13K

[ ] 84.tar.gz 2002-09-02 10:07 52K

[ ] 86.tar.gz 2002-09-02 10:10 183K

[ ] 87.tar.gz 2002-09-02 10:19 461K

[ ] 88.tar.gz 2002-09-02 10:19 403K

[ ] 89.tar.gz 2002-09-02 10:20 3.6K

[ ] 90.tar.gz 2002-09-02 10:27 7.7K

[ ] 94.tar.gz 2002-09-02 10:35 1.8M

[ ] 95.tar.gz 2002-09-02 10:35 947K

[ ] 97.tar.gz 2002-09-02 10:41 34K

[ ] 98.tar.gz 2002-09-02 10:44 4.8K

[ ] 99.tar.gz 2002-09-02 10:45 497K

[ ] 100.tar.gz 2002-09-02 10:45 32K

[ ] 101.tar.gz 2002-09-02 10:46 42K

[ ] 105.tar.gz 2002-09-02 11:01 4.7K

[ ] 107.tar.gz 2002-09-02 11:05 313K

[ ] 110.tar 2002-09-02 11:21 90K

[ ] 111.tar.gz 2002-09-02 11:23 145K

[ ] 113.tar.gz 2002-09-02 11:29 19K

[ ] 115.tar.gz 2002-09-02 11:31 386K

[ ] 116.tar.gz 2002-09-02 11:31 174K

[ ] 117.tar.gz 2002-09-02 11:33 8.5K

[ ] 118.tar.gz 2002-09-02 11:33 162K

[ ] 119.tar.gz 2002-09-02 11:36 1.9K

[ ] 121.tar.gz 2002-09-02 11:41 673K

[ ] 122.tar.gz 2002-09-02 11:43 2.8M

[ ] 130.tar.gz 2002-09-02 11:56 109K

[ ] 135.tar.gz 2002-09-02 12:06 11K

[ ] 138.tar.gz 2002-09-02 12:08 7.8K

[ ] 139.tar.gz 2002-09-02 12:08 5.9K

[ ] 141.tar.gz 2002-09-02 12:14 218K

[ ] 142.tar.gz 2002-09-02 12:14 93K

[ ] 145.tar.gz 2002-09-02 12:16 38K

[ ] 148.zip 2002-09-02 12:20 23K

[ ] 149.tar.gz 2002-09-02 12:22 4.1K

[ ] 150.tar 2002-09-02 12:22 40K

[ ] 153.tar.gz 2002-09-02 12:25 20K

[ ] 156.tar.gz 2002-09-02 12:26 768K

[ ] 157.zip 2002-09-02 12:28 9.9K

[ ] 159.tar.gz 2002-09-02 12:29 546K

[ ] 160.tar.gz 2002-09-02 12:30 20K

[ ] 161.tar.gz 2002-09-02 12:31 459K

[ ] 162.tar.gz 2002-09-02 12:31 7.4K

[ ] 163.tar.gz 2002-09-02 12:33 7.8K

[ ] 165.tar.gz 2002-09-02 12:33 71K

[ ] 167.tar.gz 2002-09-02 12:35 9.3K

[ ] 168.tar.gz 2002-09-02 12:36 44K

[ ] 169.tar.gz 2002-09-02 12:36 311K

[ ] 170.tar.gz 2002-09-02 12:36 71K

[ ] 172.tar.gz 2002-09-02 12:37 362K

[ ] 173.tar.gz 2002-09-02 12:37 40K

[ ] 175.tar.gz 2002-09-02 12:39 330K

[ ] 176.tar.gz 2002-09-02 12:40 40K

[ ] 177.tar.gz 2002-09-02 12:40 19K

[ ] 178.tar.gz 2002-09-02 12:40 406K

[ ] 179.tar.gz 2002-09-02 12:40 571K

[ ] 180.tar.gz 2002-09-02 12:41 3.6K

[ ] 182.tar.gz 2002-09-02 12:42 1.0M

[ ] 185.tar.gz 2002-09-02 12:43 11K

[ ] 188.tar.gz 2002-09-02 12:44 477K

[ ] 189.tar.gz 2002-09-02 12:44 25K

[ ] 191.tar.gz 2002-09-02 12:45 189K

[ ] 192.tar.gz 2002-09-02 12:47 32K

[ ] 193.tar.gz 2002-09-02 12:47 185K

[ ] 194.tar.gz 2002-09-02 12:47 13K

[ ] 195.tar.gz 2002-09-02 12:47 450K

[ ] 196.tar.gz 2002-09-02 12:48 2.7K

[ ] 197.tar.gz 2002-09-02 12:48 714K

[ ] 199.tar.gz 2002-09-02 12:48 309K

[ ] 201.tar.gz 2002-09-02 12:48 168K

[ ] 202.tar.gz 2002-09-02 12:49 511K

[ ] 204.tar.gz 2002-09-02 12:49 7.2K

[ ] 205.tar.gz 2002-09-02 12:49 34K

[ ] 206.tar.gz 2002-09-02 12:49 297K

[ ] 207.tar.gz 2002-09-02 12:50 393K

[ ] 208.tar.gz 2002-09-02 12:50 6.7K

[ ] 209.tar.gz 2002-09-02 12:51 5.9K

[ ] 210.tar.gz 2002-09-02 12:51 88K

[ ] 212.tar.gz 2002-09-02 12:51 6.4K

[ ] 216.tar.gz 2002-09-02 12:52 420K

[ ] 217.tar 2002-09-02 12:52 40K

[ ] 218.tar.gz 2002-09-02 12:52 208K

[ ] 220.tar.gz 2002-09-02 12:53 15K

[ ] 221.tar.gz 2002-09-02 12:53 51K

[ ] 222.tar 2002-09-02 12:53 50K

[ ] 223.tar.gz 2002-09-02 12:54 2.2M

[ ] 225.tar.gz 2002-09-02 12:55 34K

[ ] 226.tar.gz 2002-09-02 12:55 1.1M

[ ] 227.tar 2002-09-02 12:55 90K

[ ] 228.tar.gz 2002-09-02 12:55 92K

[ ] 231.tar.gz 2002-09-02 12:56 6.5K

[ ] 235.tar.gz 2002-09-02 12:56 885K

[ ] 236.tar.gz 2002-09-02 12:56 14K

[ ] 237.tar.gz 2002-09-02 12:56 28K

[ ] 241.tar.gz 2002-09-02 12:57 1.2M

[ ] 242.zip 2002-09-02 12:58 3.7K

[ ] 243.tar.gz 2002-09-02 12:58 854K

[ ] 246.tar.gz 2002-09-02 12:58 727K

[ ] 248.tar.gz 2002-09-02 12:58 12K

[ ] 249.tar.gz 2002-09-02 12:58 172K

[ ] 250.tar.gz 2002-09-02 12:58 17K

[ ] 251.tar.gz 2002-09-02 12:59 143K

[ ] 254.tar.gz 2002-09-02 12:59 30K

[ ] 255.tar.gz 2002-09-02 12:59 598K

[ ] 257.tar.gz 2002-09-02 13:00 29K

[ ] 258.tar.gz 2002-09-02 13:00 744K

[ ] 259.tar.gz 2002-09-02 13:00 174K

[ ] 260.tar.gz 2002-09-02 13:00 81K

[ ] 261.tar.gz 2002-09-02 13:00 70K

[ ] 265.zip 2002-09-02 13:01 15K

[ ] 266.tar.gz 2002-09-02 13:01 23K

[ ] 267.tar.gz 2002-09-02 13:01 718K

[ ] 268.tar.gz 2002-09-02 13:01 966K

[ ] 269.tar.gz 2002-09-02 13:02 1.1M

[ ] 270.tar.gz 2002-09-02 13:02 448K

[ ] 271.tar.gz 2002-09-02 13:02 9.0K

[ ] 272.tar.gz 2002-09-02 13:02 9.3K

[ ] 273.tar.gz 2002-09-02 13:02 116K

[ ] 276.tar.gz 2002-09-02 13:04 148K

[ ] 277.tar.gz 2002-09-02 13:05 1.4M

[ ] 278.tar.gz 2002-09-02 13:08 14K

[ ] 285.tar.gz 2002-09-02 13:20 3.6K

[ ] 286.tar.gz 2002-09-02 13:20 223K

[ ] 287.tar.gz 2002-09-02 13:24 1.6M

[ ] 288.tar.gz 2002-09-02 13:25 9.3K

[ ] 289.tar.gz 2002-09-02 13:29 471K

[ ] 290.tar.gz 2002-09-02 13:32 57K

[ ] 291.tar.gz 2002-09-02 13:32 378K

[ ] 292.tar.gz 2002-09-02 13:32 26K

[ ] 293.tar.gz 2002-09-02 13:33 911K

[ ] 294.tar.gz 2002-09-03 22:47 650K

[ ] 295.tar.gz 2002-09-05 22:04 11K

Name	Last modified	Size

Parent Directory		-
4.tar.gz	2002-08-31 01:17	56K
5.tar.gz	2002-08-31 01:44	4.8K
7.tar.gz	2002-08-31 09:38	5.5K
8.tar.gz	2002-08-31 12:49	939K
9.tar.gz	2002-08-31 12:51	1.7M
10.tar.gz	2002-08-31 12:54	159K
11.tar.gz	2002-08-31 12:56	18K
12.tar.gz	2002-08-31 12:58	140K
13.tar.gz	2002-08-31 12:58	96K
14.tar.gz	2002-08-31 13:05	6.2K
16.tar.gz	2002-08-31 21:23	60K
19.tar.gz	2002-09-01 05:54	5.5K
21.tar.gz	2002-09-01 08:11	5.6K
22.tar.gz	2002-09-01 08:28	14K
30.tar.gz	2002-09-01 15:51	104K
34.tar.gz	2002-09-01 17:29	5.7K
35.tar.gz	2002-09-01 18:22	29K
37.tar.gz	2002-09-01 19:20	6.3K
39.tar.gz	2002-09-01 19:55	102K
41.tar.gz	2002-09-01 21:40	20K
42.tar.gz	2002-09-01 21:53	4.6K
43.tar.gz	2002-09-01 22:27	452K
48.tar.gz	2002-09-02 01:23	43K
53.tar.gz	2002-09-02 03:06	542K
54.tar.gz	2002-09-02 03:27	14K
56.tar.gz	2002-09-02 03:54	6.1K
57.tar.gz	2002-09-02 04:10	1.0M
60.tar.gz	2002-09-02 05:26	353K
61.tar.gz	2002-09-02 05:53	48K
63.tar.gz	2002-09-02 05:58	250K
65.tar.gz	2002-09-02 06:27	340K
66.tar.gz	2002-09-02 06:54	122K
67.tar.gz	2002-09-02 07:02	27K
68.tar.gz	2002-09-02 07:41	27K
73.tar.gz	2002-09-02 08:52	341K
74.tar.gz	2002-09-02 09:00	12K
76.tar.gz	2002-09-02 09:12	20K
78.tar.gz	2002-09-02 09:52	307K
81.tar.gz	2002-09-02 10:01	13K
84.tar.gz	2002-09-02 10:07	52K
86.tar.gz	2002-09-02 10:10	183K
87.tar.gz	2002-09-02 10:19	461K
88.tar.gz	2002-09-02 10:19	403K
89.tar.gz	2002-09-02 10:20	3.6K
90.tar.gz	2002-09-02 10:27	7.7K
94.tar.gz	2002-09-02 10:35	1.8M
95.tar.gz	2002-09-02 10:35	947K
97.tar.gz	2002-09-02 10:41	34K
98.tar.gz	2002-09-02 10:44	4.8K
99.tar.gz	2002-09-02 10:45	497K
100.tar.gz	2002-09-02 10:45	32K
101.tar.gz	2002-09-02 10:46	42K
105.tar.gz	2002-09-02 11:01	4.7K
107.tar.gz	2002-09-02 11:05	313K
110.tar	2002-09-02 11:21	90K
111.tar.gz	2002-09-02 11:23	145K
113.tar.gz	2002-09-02 11:29	19K
115.tar.gz	2002-09-02 11:31	386K
116.tar.gz	2002-09-02 11:31	174K
117.tar.gz	2002-09-02 11:33	8.5K
118.tar.gz	2002-09-02 11:33	162K
119.tar.gz	2002-09-02 11:36	1.9K
121.tar.gz	2002-09-02 11:41	673K
122.tar.gz	2002-09-02 11:43	2.8M
130.tar.gz	2002-09-02 11:56	109K
135.tar.gz	2002-09-02 12:06	11K
138.tar.gz	2002-09-02 12:08	7.8K
139.tar.gz	2002-09-02 12:08	5.9K
141.tar.gz	2002-09-02 12:14	218K
142.tar.gz	2002-09-02 12:14	93K
145.tar.gz	2002-09-02 12:16	38K
148.zip	2002-09-02 12:20	23K
149.tar.gz	2002-09-02 12:22	4.1K
150.tar	2002-09-02 12:22	40K
153.tar.gz	2002-09-02 12:25	20K
156.tar.gz	2002-09-02 12:26	768K
157.zip	2002-09-02 12:28	9.9K
159.tar.gz	2002-09-02 12:29	546K
160.tar.gz	2002-09-02 12:30	20K
161.tar.gz	2002-09-02 12:31	459K
162.tar.gz	2002-09-02 12:31	7.4K
163.tar.gz	2002-09-02 12:33	7.8K
165.tar.gz	2002-09-02 12:33	71K
167.tar.gz	2002-09-02 12:35	9.3K
168.tar.gz	2002-09-02 12:36	44K
169.tar.gz	2002-09-02 12:36	311K
170.tar.gz	2002-09-02 12:36	71K
172.tar.gz	2002-09-02 12:37	362K
173.tar.gz	2002-09-02 12:37	40K
175.tar.gz	2002-09-02 12:39	330K
176.tar.gz	2002-09-02 12:40	40K
177.tar.gz	2002-09-02 12:40	19K
178.tar.gz	2002-09-02 12:40	406K
179.tar.gz	2002-09-02 12:40	571K
180.tar.gz	2002-09-02 12:41	3.6K
182.tar.gz	2002-09-02 12:42	1.0M
185.tar.gz	2002-09-02 12:43	11K
188.tar.gz	2002-09-02 12:44	477K
189.tar.gz	2002-09-02 12:44	25K
191.tar.gz	2002-09-02 12:45	189K
192.tar.gz	2002-09-02 12:47	32K
193.tar.gz	2002-09-02 12:47	185K
194.tar.gz	2002-09-02 12:47	13K
195.tar.gz	2002-09-02 12:47	450K
196.tar.gz	2002-09-02 12:48	2.7K
197.tar.gz	2002-09-02 12:48	714K
199.tar.gz	2002-09-02 12:48	309K
201.tar.gz	2002-09-02 12:48	168K
202.tar.gz	2002-09-02 12:49	511K
204.tar.gz	2002-09-02 12:49	7.2K
205.tar.gz	2002-09-02 12:49	34K
206.tar.gz	2002-09-02 12:49	297K
207.tar.gz	2002-09-02 12:50	393K
208.tar.gz	2002-09-02 12:50	6.7K
209.tar.gz	2002-09-02 12:51	5.9K
210.tar.gz	2002-09-02 12:51	88K
212.tar.gz	2002-09-02 12:51	6.4K
216.tar.gz	2002-09-02 12:52	420K
217.tar	2002-09-02 12:52	40K
218.tar.gz	2002-09-02 12:52	208K
220.tar.gz	2002-09-02 12:53	15K
221.tar.gz	2002-09-02 12:53	51K
222.tar	2002-09-02 12:53	50K
223.tar.gz	2002-09-02 12:54	2.2M
225.tar.gz	2002-09-02 12:55	34K
226.tar.gz	2002-09-02 12:55	1.1M
227.tar	2002-09-02 12:55	90K
228.tar.gz	2002-09-02 12:55	92K
231.tar.gz	2002-09-02 12:56	6.5K
235.tar.gz	2002-09-02 12:56	885K
236.tar.gz	2002-09-02 12:56	14K
237.tar.gz	2002-09-02 12:56	28K
241.tar.gz	2002-09-02 12:57	1.2M
242.zip	2002-09-02 12:58	3.7K
243.tar.gz	2002-09-02 12:58	854K
246.tar.gz	2002-09-02 12:58	727K
248.tar.gz	2002-09-02 12:58	12K
249.tar.gz	2002-09-02 12:58	172K
250.tar.gz	2002-09-02 12:58	17K
251.tar.gz	2002-09-02 12:59	143K
254.tar.gz	2002-09-02 12:59	30K
255.tar.gz	2002-09-02 12:59	598K
257.tar.gz	2002-09-02 13:00	29K
258.tar.gz	2002-09-02 13:00	744K
259.tar.gz	2002-09-02 13:00	174K
260.tar.gz	2002-09-02 13:00	81K
261.tar.gz	2002-09-02 13:00	70K
265.zip	2002-09-02 13:01	15K
266.tar.gz	2002-09-02 13:01	23K
267.tar.gz	2002-09-02 13:01	718K
268.tar.gz	2002-09-02 13:01	966K
269.tar.gz	2002-09-02 13:02	1.1M
270.tar.gz	2002-09-02 13:02	448K
271.tar.gz	2002-09-02 13:02	9.0K
272.tar.gz	2002-09-02 13:02	9.3K
273.tar.gz	2002-09-02 13:02	116K
276.tar.gz	2002-09-02 13:04	148K
277.tar.gz	2002-09-02 13:05	1.4M
278.tar.gz	2002-09-02 13:08	14K
285.tar.gz	2002-09-02 13:20	3.6K
286.tar.gz	2002-09-02 13:20	223K
287.tar.gz	2002-09-02 13:24	1.6M
288.tar.gz	2002-09-02 13:25	9.3K
289.tar.gz	2002-09-02 13:29	471K
290.tar.gz	2002-09-02 13:32	57K
291.tar.gz	2002-09-02 13:32	378K
292.tar.gz	2002-09-02 13:32	26K
293.tar.gz	2002-09-02 13:33	911K
294.tar.gz	2002-09-03 22:47	650K
295.tar.gz	2002-09-05 22:04	11K