![[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 | - | ||
| Base1.hs | 15-Jan-2010 08:33 | 676 | |
| Church1.hs | 15-Jan-2010 08:33 | 554 | |
| Church2.hs | 15-Jan-2010 08:33 | 520 | |
| Church2.stderr | 15-Jan-2010 08:33 | 400 | |
| Compose.hs | 15-Jan-2010 08:33 | 602 | |
| Makefile | 15-Jan-2010 08:33 | 72 | |
| PList1.hs | 15-Jan-2010 08:33 | 451 | |
| PList2.hs | 15-Jan-2010 08:33 | 568 | |
| SystemF.hs | 15-Jan-2010 08:33 | 341 | |
| all.T | 15-Jan-2010 08:33 | 537 | |
| boxy.hs | 15-Jan-2010 08:33 | 2.6K | |