Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | CSV.hs | 1238 | logplain |
-rw-r--r-- | File.hs | 474 | logplain |
-rw-r--r-- | Miscellaneous.hs | 167 | logplain |
-rw-r--r-- | Preferences.hs | 2998 | logplain |
-rw-r--r-- | Senate.hs | 2180 | logplain |
-rw-r--r-- | SenateTypes.hs | 757 | logplain |
-rw-r--r-- | Storage.hs | 965 | logplain |
-rw-r--r-- | Storage.hs.old | 1885 | logplain |
-rw-r--r-- | main.hs | 1891 | logplain |
-rw-r--r-- | preference_arrays.adb.old | 3477 | logplain |
-rw-r--r-- | preference_arrays.ads.old | 1188 | logplain |
-rw-r--r-- | testmain.hs.old | 315 | logplain |