Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Canonical.hs | 44396 | logplain |
-rw-r--r-- | Dict.hs | 34532 | logplain |
-rw-r--r-- | Equality.hs | 126268 | logplain |
-rw-r--r-- | InertSet.hs | 73036 | logplain |
-rw-r--r-- | Interact.hs | 51346 | logplain |
-rw-r--r-- | Monad.hs | 89430 | logplain |
-rw-r--r-- | Rewrite.hs | 45828 | logplain |
-rw-r--r-- | Types.hs | 11393 | logplain |