![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| GENSOR~1.HS | 2001-10-05 23:37 | 4.0K | |
| GenSort.hs | 2002-11-14 06:07 | 2.3K | |
| GenSort.txt | 2002-11-14 15:11 | 2.3K | |
| Lattice.hs | 2002-11-14 06:07 | 4.1K | |
| Lattice.txt | 2002-11-14 06:14 | 4.1K | |
| MathEgs.hs | 2002-11-14 06:09 | 1.3K | |
| MathEgs.txt | 2002-11-14 15:12 | 1.3K | |
| evolution.hs | 2001-08-20 13:22 | 12K | |
| expr.hs | 2001-10-06 01:19 | 3.2K | |
| expr.html | 2001-10-06 01:41 | 4.4K | |
| expr.txt | 2002-11-14 06:14 | 3.2K | |
| gensort.html | 2001-10-06 01:41 | 4.9K | |
| short.hs | 2001-10-06 00:22 | 3.8K | |
| short.html | 2001-10-06 01:40 | 4.8K | |
| short.txt | 2002-11-14 06:14 | 3.8K | |