![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| big-lazy.hs | 18-Dec-2007 19:52 | 560 | |
| big.hs | 18-Dec-2007 19:52 | 324 | |
| cp.hs | 18-Dec-2007 19:52 | 795 | |
| fast-cp.hs | 18-Dec-2007 19:52 | 1.0K | |
| pressure.hs | 18-Dec-2007 19:52 | 759 | |
| small.hs | 18-Dec-2007 19:52 | 440 | |
| files.hs | 29-Apr-2011 20:56 | 1.3K | |
| test | 29-Apr-2011 20:56 | 262 | |