Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Convert.hs | 9770 | logplain |
-rw-r--r-- | Lemmas.hs | 5398 | logplain |
-rw-r--r-- | Mixed.hs | 41834 | logplain |
d--------- | Mixed | 36 | logplain |
-rw-r--r-- | Permutation.hs | 10203 | logplain |
-rw-r--r-- | Ranked.hs | 12283 | logplain |
d--------- | Ranked | 71 | logplain |
-rw-r--r-- | Shaped.hs | 11211 | logplain |
d--------- | Shaped | 71 | logplain |
-rw-r--r-- | Trace.hs | 4260 | logplain |
d--------- | Trace | 33 | logplain |
-rw-r--r-- | Types.hs | 3870 | logplain |