Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Makefile | 72 | logplain |
-rw-r--r-- | T12870.hs | 170 | logplain |
-rw-r--r-- | T12870_.stdout | 22 | logplain |
-rw-r--r-- | T12870a.stdout | 22 | logplain |
-rw-r--r-- | T12870c.stderr | 80 | logplain |
-rw-r--r-- | T12870d.stdout | 22 | logplain |
-rw-r--r-- | T12870e.stdout | 50 | logplain |
-rw-r--r-- | T12870f.stdout | 50 | logplain |
-rw-r--r-- | T12870g.hs | 253 | logplain |
-rw-r--r-- | T12870g.stdout | 1 | logplain |
-rw-r--r-- | T12870h.stdout | 1 | logplain |
d--------- | T17720 | 196 | logplain |
-rwxr-xr-x | T20006.hs | 50 | logplain |
-rw-r--r-- | all.T | 1996 | logplain |