![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Adjoxo.hs | 21-Mar-2009 19:20 | 3.2K | |
| Adjoxo2.hs | 21-Mar-2009 19:20 | 3.2K | |
| Alpha.hs | 21-Mar-2009 19:20 | 69 | |
| Apply.hs | 21-Mar-2009 19:20 | 59 | |
| Apply2.hs | 21-Mar-2009 19:20 | 75 | |
| BadTaut.hs | 21-Mar-2009 19:20 | 228 | |
| Betaetared.hs | 21-Mar-2009 19:20 | 20K | |
| Box.hs | 21-Mar-2009 19:20 | 35 | |
| Clausify.hs | 21-Mar-2009 19:20 | 5.4K | |
| Clausify2.hs | 21-Mar-2009 19:20 | 5.5K | |
| Clausify3.hs | 21-Mar-2009 19:20 | 5.5K | |
| Data.hs | 21-Mar-2009 19:20 | 481 | |
| Defunc.hs | 21-Mar-2009 19:20 | 334 | |
| Dictionary.hs | 21-Mar-2009 19:20 | 221 | |
| Dual.hs | 21-Mar-2009 19:20 | 148 | |
| Dual2.hs | 21-Mar-2009 19:20 | 151 | |
| Dual3.hs | 21-Mar-2009 19:20 | 103 | |
| FilePath.hs | 21-Mar-2009 19:20 | 26K | |
| Foldr1.hs | 21-Mar-2009 19:20 | 124 | |
| HeadCons.hs | 21-Mar-2009 19:20 | 69 | |
| HeadHeadReverse.hs | 21-Mar-2009 19:20 | 107 | |
| HeadReverse.hs | 21-Mar-2009 19:20 | 53 | |
| Hello.hs | 21-Mar-2009 19:20 | 53 | |
| HoType.hs | 21-Mar-2009 19:20 | 113 | |
| Last.hs | 21-Mar-2009 19:20 | 36 | |
| Lines.hs | 21-Mar-2009 19:20 | 537 | |
| List.hs | 21-Mar-2009 19:20 | 76 | |
| Map.hs | 21-Mar-2009 19:20 | 40 | |
| MapHeadCons.hs | 21-Mar-2009 19:20 | 80 | |
| MapHeadReverse.hs | 21-Mar-2009 19:20 | 60 | |
| MapId.hs | 21-Mar-2009 19:20 | 41 | |
| MattBits.hs | 21-Mar-2009 19:20 | 412 | |
| MattSort.hs | 21-Mar-2009 19:20 | 1.2K | |
| MonadFail.hs | 21-Mar-2009 19:20 | 57 | |
| MonadFail2.hs | 21-Mar-2009 19:20 | 121 | |
| NonTerm.hs | 21-Mar-2009 19:20 | 39 | |
| Primitive.hs | 21-Mar-2009 19:20 | 135 | |
| ReadInt.hs | 21-Mar-2009 19:20 | 46 | |
| Records.hs | 21-Mar-2009 19:20 | 396 | |
| Reduction.hs | 21-Mar-2009 19:20 | 7.0K | |
| Referee.hs | 21-Mar-2009 19:20 | 111 | |
| RisersNull.hs | 21-Mar-2009 19:20 | 259 | |
| RisersReal.hs | 21-Mar-2009 19:20 | 630 | |
| RisersSafe.hs | 21-Mar-2009 19:20 | 362 | |
| SafePatterns.txt | 21-Mar-2009 19:20 | 761 | |
| Sat.hs | 21-Mar-2009 19:20 | 942 | |
| Show.hs | 21-Mar-2009 19:20 | 81 | |
| ShowInt.hs | 21-Mar-2009 19:20 | 49 | |
| Soda.hs | 21-Mar-2009 19:20 | 2.2K | |
| Soda2.hs | 21-Mar-2009 19:20 | 2.4K | |
| Soda3.hs | 21-Mar-2009 19:20 | 1.4K | |
| Sort.hs | 21-Mar-2009 19:20 | 144 | |
| Subset.hs | 21-Mar-2009 19:20 | 353 | |
| SymTab.hs | 21-Mar-2009 19:20 | 239 | |
| Tails.hs | 21-Mar-2009 19:20 | 98 | |
| Taut.hs | 21-Mar-2009 19:20 | 1.9K | |
| Transitive.hs | 21-Mar-2009 19:20 | 272 | |
| Tree.hs | 21-Mar-2009 19:20 | 158 | |
| VarOf.hs | 21-Mar-2009 19:20 | 265 | |
| VarOfUnary.hs | 21-Mar-2009 19:20 | 246 | |
| ZipInit.hs | 21-Mar-2009 19:20 | 115 | |