Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Main.hs | 1022 | logplain |
-rw-r--r-- | Makefile | 281 | logplain |
-rw-r--r-- | Natural.hs | 3172 | logplain |
-rw-r--r-- | StrictPrim.hs | 1774 | logplain |
-rw-r--r-- | T9646.stdout | 32 | logplain |
-rw-r--r-- | Type.hs | 2322 | logplain |
d--------- | cbits | 92 | logplain |
-rw-r--r-- | readme.txt | 3725 | logplain |
-rw-r--r-- | test.T | 228 | logplain |