Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Fat.hs | 42 | logplain |
-rw-r--r-- | FatMain.hs | 50 | logplain |
-rw-r--r-- | FatQuote.hs | 116 | logplain |
-rw-r--r-- | FatQuote1.hs | 137 | logplain |
-rw-r--r-- | FatQuote2.hs | 137 | logplain |
-rw-r--r-- | FatTH.hs | 81 | logplain |
-rw-r--r-- | FatTH1.hs | 122 | logplain |
-rw-r--r-- | FatTH2.hs | 103 | logplain |
-rw-r--r-- | FatTHTop.hs | 51 | logplain |
-rw-r--r-- | Makefile | 1846 | logplain |
d--------- | T22405 | 223 | logplain |
-rw-r--r-- | THA.hs | 970 | logplain |
-rw-r--r-- | THB.hs | 663 | logplain |
-rw-r--r-- | THC.hs | 42 | logplain |
-rw-r--r-- | all.T | 1812 | logplain |
-rw-r--r-- | fat001.stdout | 85 | logplain |
-rw-r--r-- | fat005.stdout | 1014 | logplain |
-rw-r--r-- | fat006.stdout | 85 | logplain |
-rw-r--r-- | fat008.stdout | 215 | logplain |
-rw-r--r-- | fat010.stdout | 114 | logplain |
-rw-r--r-- | fat011.stderr | 248 | logplain |
-rw-r--r-- | fat012.stderr | 135 | logplain |
-rw-r--r-- | fat013.stderr | 123 | logplain |
-rw-r--r-- | fat014.script | 21 | logplain |
-rw-r--r-- | fat014.stdout | 147 | logplain |
-rw-r--r-- | fat015.stderr | 421 | logplain |