Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | all_any.sky | 1158 | logplain |
-rw-r--r-- | and_or_not.sky | 866 | logplain |
-rw-r--r-- | equality.sky | 2029 | logplain |
-rw-r--r-- | int.sky | 1227 | logplain |
-rw-r--r-- | int_constructor.sky | 1317 | logplain |
-rw-r--r-- | list_slices.sky | 2028 | logplain |
-rw-r--r-- | min_max.sky | 1247 | logplain |
-rw-r--r-- | string_elems.sky | 226 | logplain |
-rw-r--r-- | string_format.sky | 3681 | logplain |
-rw-r--r-- | string_partition.sky | 1666 | logplain |
-rw-r--r-- | string_split.sky | 1948 | logplain |
-rw-r--r-- | string_splitlines.sky | 941 | logplain |
-rw-r--r-- | string_test_characters.sky | 1567 | logplain |