Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | bubble.adb | 1311 | logplain |
-rw-r--r-- | bubble.ads | 316 | logplain |
-rw-r--r-- | cocktail.adb | 1073 | logplain |
-rw-r--r-- | cocktail.ads | 273 | logplain |
-rw-r--r-- | comb.adb | 1019 | logplain |
-rw-r--r-- | comb.ads | 265 | logplain |
-rw-r--r-- | gnomesort.hs | 508 | logplain |
-rw-r--r-- | insertion.adb | 737 | logplain |
-rw-r--r-- | insertion.ads | 275 | logplain |
-rw-r--r-- | mergesort.hs | 363 | logplain |
-rw-r--r-- | odd_even.adb | 1338 | logplain |
-rw-r--r-- | odd_even.ads | 275 | logplain |
-rw-r--r-- | quick.adb | 1117 | logplain |
-rw-r--r-- | quick.ads | 271 | logplain |
-rw-r--r-- | quicksort.hs | 250 | logplain |
-rw-r--r-- | selection.adb | 845 | logplain |
-rw-r--r-- | selection.ads | 275 | logplain |
-rw-r--r-- | strandsort.hs | 770 | logplain |