Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Canonical.hs | 44243 | logplain |
-rw-r--r-- | Dict.hs | 36719 | logplain |
-rw-r--r-- | Equality.hs | 130928 | logplain |
-rw-r--r-- | InertSet.hs | 75584 | logplain |
-rw-r--r-- | Interact.hs | 49255 | logplain |
-rw-r--r-- | Monad.hs | 90908 | logplain |
-rw-r--r-- | Rewrite.hs | 45870 | logplain |
-rw-r--r-- | Types.hs | 11582 | logplain |