![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Data/ | 2009-06-08 09:56 | - | |
| DeBruijnCBN.hs | 2009-06-08 09:56 | 3.2K | |
| DeBruijnCBN2.hs | 2009-06-08 09:56 | 3.4K | |
| DeBruijnCBN3.hs | 2009-06-08 09:56 | 3.2K | |
| DeBruijnCBN4.hs | 2009-06-08 09:56 | 4.8K | |
| DeBruijnCBN5.hs | 2009-06-08 09:56 | 4.8K | |
| DeBruijnCBN6.hs | 2009-06-08 09:56 | 5.1K | |
| DeBruijnCBN7.hs | 2009-06-08 09:56 | 6.6K | |
| DeBruijnLazy1.hs | 2009-06-08 09:56 | 7.1K | |
| DeBruijnLazy2.hs | 2009-06-08 09:56 | 7.4K | |
| DeBruijnLazy3.hs | 2009-06-08 09:56 | 7.4K | |
| DeBruijnLazy4.hs | 2009-06-08 09:56 | 8.3K | |
| DeBruijnLazy5.hs | 2009-06-08 09:56 | 8.4K | |
| DeBruijnLazy6.hs | 2009-06-08 09:56 | 8.5K | |
| DeBruijnLazy7.hs | 2009-06-08 09:56 | 8.2K | |
| Lam.cf | 2009-06-08 09:56 | 612 | |
| Main.hs | 2009-06-08 09:56 | 1.8K | |
| Makefile | 2009-06-08 09:56 | 534 | |
| Parse.hs | 2009-06-08 09:56 | 3.5K | |
| Pointer.hs | 2009-06-08 09:56 | 966 | |
| PointerST.hs | 2009-06-08 09:56 | 582 | |
| Pretty.hs | 2009-06-08 09:56 | 2.1K | |
| Syntax.hs | 2009-06-08 09:56 | 662 | |
| Utils.hs | 2009-06-08 09:56 | 70 | |
| church.lam | 2009-06-08 09:56 | 1.1K | |
| nat.lam | 2009-06-08 09:56 | 1.3K | |
| notes | 2009-06-08 09:56 | 711 | |