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