Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Canonical.hs | 44396 | logplain |
-rw-r--r-- | Dict.hs | 33638 | logplain |
-rw-r--r-- | Equality.hs | 128348 | logplain |
-rw-r--r-- | InertSet.hs | 73036 | logplain |
-rw-r--r-- | Interact.hs | 51339 | logplain |
-rw-r--r-- | Monad.hs | 90076 | logplain |
-rw-r--r-- | Rewrite.hs | 45828 | logplain |
-rw-r--r-- | Types.hs | 11582 | logplain |