[ { "name": "length int", "tp": "(list (int) -> int)", "ios": [ [ [ "[1, 0, 4, 3, 3, 2]" ], "6" ], [ [ "[1, 8, 1, 9, 6, 0]" ], "6" ], [ [ "[1, 3, 3, 8]" ], "4" ], [ [ "[0, 8, 3, 8, 6, 3]" ], "6" ], [ [ "[9, 4, 0, 2, 6]" ], "5" ], [ [ "[4, 2, 3, 5, 1]" ], "5" ], [ [ "[6, 1, 5, 5]" ], "4" ], [ [ "[4, 0, 7, 8, 1, 6]" ], "6" ], [ [ "[8, 4, 9, 5]" ], "4" ], [ [ "[3, 1, 0, 3, 4, 1]" ], "6" ] ] }, { "name": "map length", "tp": "(list (list (int)) -> list (int))", "ios": [ [ [ "[[6], [7, 5, 2]]" ], "[1, 3]" ], [ [ "[[3, 4, 1], [8, 3], [7, 6]]" ], "[3, 2, 2]" ], [ [ "[[5, 0], [0, 5], [4, 1, 3, 9]]" ], "[2, 2, 4]" ], [ [ "[[3, 7, 6], [2, 4, 2, 3], [9, 6, 9], [5, 3, 2, 8]]" ], "[3, 4, 3, 4]" ], [ [ "[[0], [2], [6, 9]]" ], "[1, 1, 2]" ], [ [ "[[6, 9, 7, 8], [8, 0, 1]]" ], "[4, 3]" ], [ [ "[[5, 1, 4], [2, 7, 0, 4], [8, 1], [8, 9, 3]]" ], "[3, 4, 2, 3]" ], [ [ "[[2, 8, 8], [9]]" ], "[3, 1]" ], [ [ "[[0, 1, 5, 4], [0, 3], [1]]" ], "[4, 2, 1]" ], [ [ "[[1, 8, 2, 2], [8, 2, 4, 8], [3, 8, 3, 4], [5, 7, 8, 7]]" ], "[4, 4, 4, 4]" ] ] }, { "name": "remove 0s", "tp": "(list (int) -> list (int))", "ios": [ [ [ "[2, 3, 3, 0, 0]" ], "[2, 3, 3]" ], [ [ "[1, 1, 2, 0, 3]" ], "[1, 1, 2, 3]" ], [ [ "[0, 1, 0, 3, 0]" ], "[1, 3]" ], [ [ "[1, 3, 2, 2, 3]" ], "[1, 3, 2, 2, 3]" ], [ [ "[3, 3, 1, 3, 1]" ], "[3, 3, 1, 3, 1]" ], [ [ "[3, 1, 1, 0, 2]" ], "[3, 1, 1, 2]" ], [ [ "[3, 2, 2, 0, 2]" ], "[3, 2, 2, 2]" ], [ [ "[2, 3, 1, 3, 3]" ], "[2, 3, 1, 3, 3]" ], [ [ "[2, 2, 3, 3, 2]" ], "[2, 2, 3, 3, 2]" ], [ [ "[1, 1, 3, 1, 3]" ], "[1, 1, 3, 1, 3]" ] ] }, { "name": "remove non-positives", "tp": "(list (int) -> list (int))", "ios": [ [ [ "[0, 2, 3, 3, 3]" ], "[0]" ], [ [ "[1, 3, 0, 1, 2]" ], "[1, 0, 1]" ], [ [ "[0, 3, 0, 3, 0]" ], "[0, 0, 0]" ], [ [ "[1, 3, 1, 0, 3]" ], "[1, 1, 0]" ], [ [ "[2, 2, 3, 0, 2]" ], "[0]" ], [ [ "[3, 2, 3, 0, 0]" ], "[0, 0]" ], [ [ "[1, 2, 1, 0, 3]" ], "[1, 1, 0]" ], [ [ "[0, 0, 3, 1, 2]" ], "[0, 0, 1]" ], [ [ "[0, 0, 2, 0, 2]" ], "[0, 0, 0]" ], [ [ "[2, 2, 3, 1, 1]" ], "[1, 1]" ] ] }, { "name": "countdown", "tp": "(int -> list (int))", "ios": [ [ [ "0" ], "[]" ], [ [ "1" ], "[2]" ], [ [ "2" ], "[3, 2]" ], [ [ "3" ], "[4, 3, 2]" ], [ [ "4" ], "[5, 4, 3, 2]" ], [ [ "5" ], "[6, 5, 4, 3, 2]" ], [ [ "6" ], "[7, 6, 5, 4, 3, 2]" ], [ [ "7" ], "[8, 7, 6, 5, 4, 3, 2]" ], [ [ "8" ], "[9, 8, 7, 6, 5, 4, 3, 2]" ], [ [ "9" ], "[10, 9, 8, 7, 6, 5, 4, 3, 2]" ] ] }, { "name": "weird count", "tp": "(int -> list (int))", "ios": [ [ [ "-10" ], "[10, 9, 8, 7, 6, 5, 4, 3, 2, 1]" ], [ [ "-9" ], "[9, 8, 7, 6, 5, 4, 3, 2, 1]" ], [ [ "-8" ], "[8, 7, 6, 5, 4, 3, 2, 1]" ], [ [ "-7" ], "[7, 6, 5, 4, 3, 2, 1]" ], [ [ "-6" ], "[6, 5, 4, 3, 2, 1]" ], [ [ "-5" ], "[5, 4, 3, 2, 1]" ], [ [ "-4" ], "[4, 3, 2, 1]" ], [ [ "-3" ], "[3, 2, 1]" ], [ [ "-2" ], "[2, 1]" ], [ [ "-1" ], "[1]" ] ] }, { "name": "take every other", "tp": "(list (int) -> list (int))", "ios": [ [ [ "[3, 3]" ], "[3]" ], [ [ "[5, 0]" ], "[5]" ], [ [ "[9, 3, 0, 1]" ], "[9, 0]" ], [ [ "[3, 1]" ], "[3]" ], [ [ "[5, 1]" ], "[5]" ], [ [ "[4, 7, 3, 8]" ], "[4, 3]" ], [ [ "[9, 9, 7, 3]" ], "[9, 7]" ], [ [ "[6, 3, 1, 1, 6, 5, 6, 6]" ], "[6, 1, 6, 6]" ], [ [ "[0, 1, 0, 6, 5, 1, 3, 3]" ], "[0, 0, 5, 3]" ], [ [ "[]" ], "[]" ] ] }, { "name": "drop last element", "tp": "(list (int) -> list (int))", "ios": [ [ [ "[8, 7, 2]" ], "[8, 7]" ], [ [ "[2, 4, 7, 3, 1]" ], "[2, 4, 7, 3]" ], [ [ "[8, 1, 0, 8, 0]" ], "[8, 1, 0, 8]" ], [ [ "[3, 2]" ], "[3]" ], [ [ "[7, 7, 3, 6, 0]" ], "[7, 7, 3, 6]" ], [ [ "[6, 0, 6]" ], "[6, 0]" ], [ [ "[7, 4, 6, 8]" ], "[7, 4, 6]" ], [ [ "[2, 3, 4, 3, 0]" ], "[2, 3, 4, 3]" ], [ [ "[5, 0]" ], "[5]" ], [ [ "[9, 7]" ], "[9]" ] ] }, { "name": "range", "tp": "(int -> list (int))", "ios": [ [ [ "0" ], "[]" ], [ [ "1" ], "[0]" ], [ [ "2" ], "[0, 1]" ], [ [ "3" ], "[0, 1, 2]" ], [ [ "4" ], "[0, 1, 2, 3]" ], [ [ "5" ], "[0, 1, 2, 3, 4]" ], [ [ "6" ], "[0, 1, 2, 3, 4, 5]" ], [ [ "7" ], "[0, 1, 2, 3, 4, 5, 6]" ], [ [ "8" ], "[0, 1, 2, 3, 4, 5, 6, 7]" ], [ [ "9" ], "[0, 1, 2, 3, 4, 5, 6, 7, 8]" ] ] }, { "name": "range inclusive", "tp": "(int -> list (int))", "ios": [ [ [ "0" ], "[0]" ], [ [ "1" ], "[0, 1]" ], [ [ "2" ], "[0, 1, 2]" ], [ [ "3" ], "[0, 1, 2, 3]" ], [ [ "4" ], "[0, 1, 2, 3, 4]" ], [ [ "5" ], "[0, 1, 2, 3, 4, 5]" ], [ [ "6" ], "[0, 1, 2, 3, 4, 5, 6]" ], [ [ "7" ], "[0, 1, 2, 3, 4, 5, 6, 7]" ], [ [ "8" ], "[0, 1, 2, 3, 4, 5, 6, 7, 8]" ], [ [ "9" ], "[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]" ] ] }, { "name": "index int", "tp": "(int -> list (int) -> int)", "ios": [ [ [ "0", "[8, 2, 0, 8, 1]" ], "8" ], [ [ "1", "[1, 9, 1]" ], "9" ], [ [ "2", "[6, 1, 9, 3]" ], "9" ], [ [ "3", "[9, 0, 9, 1, 6, 9, 9, 8]" ], "1" ], [ [ "4", "[4, 3, 5, 3, 4, 6, 2]" ], "4" ], [ [ "5", "[7, 5, 1, 0, 7, 9, 9, 1]" ], "9" ], [ [ "6", "[8, 3, 8, 4, 2, 5, 1]" ], "1" ], [ [ "7", "[5, 4, 2, 7, 8, 4, 9, 8, 0]" ], "8" ], [ [ "8", "[4, 1, 2, 4, 1, 1, 8, 2, 4, 4, 9, 3, 5]" ], "4" ], [ [ "9", "[4, 8, 7, 4, 0, 1, 6, 4, 0, 0, 5]" ], "0" ] ] }, { "name": "1-index int", "tp": "(int -> list (int) -> int)", "ios": [ [ [ "1", "[4, 2, 7]" ], "4" ], [ [ "2", "[8, 0, 1, 1, 2, 8]" ], "0" ], [ [ "3", "[5, 9, 8, 2]" ], "8" ], [ [ "4", "[2, 0, 4, 5, 0, 5, 3, 3]" ], "5" ], [ [ "5", "[5, 8, 6, 9, 2, 3]" ], "2" ], [ [ "6", "[2, 6, 0, 2, 5, 6, 3, 4]" ], "6" ], [ [ "7", "[1, 6, 0, 7, 3, 3, 7, 5, 4]" ], "7" ], [ [ "8", "[3, 0, 3, 6, 5, 4, 1, 4, 5, 8]" ], "4" ], [ [ "9", "[8, 5, 0, 1, 4, 2, 9, 4, 0, 1, 9, 6, 5]" ], "0" ], [ [ "10", "[6, 9, 8, 1, 6, 9, 3, 4, 0, 6, 0, 8, 8]" ], "6" ] ] }, { "name": "stutter", "tp": "(list (int) -> list (int))", "ios": [ [ [ "[3, 5, 6, 1, 5, 9]" ], "[3, 3, 5, 5, 6, 6, 1, 1, 5, 5, 9, 9]" ], [ [ "[1, 4, 8, 4, 6]" ], "[1, 1, 4, 4, 8, 8, 4, 4, 6, 6]" ], [ [ "[6, 4, 8, 2, 3]" ], "[6, 6, 4, 4, 8, 8, 2, 2, 3, 3]" ], [ [ "[6, 2, 9, 9, 4]" ], "[6, 6, 2, 2, 9, 9, 9, 9, 4, 4]" ], [ [ "[8, 0, 4, 4, 3]" ], "[8, 8, 0, 0, 4, 4, 4, 4, 3, 3]" ], [ [ "[9, 9, 5, 7, 7]" ], "[9, 9, 9, 9, 5, 5, 7, 7, 7, 7]" ], [ [ "[3, 8, 7, 2, 1]" ], "[3, 3, 8, 8, 7, 7, 2, 2, 1, 1]" ], [ [ "[8, 9, 5, 1, 3]" ], "[8, 8, 9, 9, 5, 5, 1, 1, 3, 3]" ], [ [ "[4, 3, 3, 2, 0, 0]" ], "[4, 4, 3, 3, 3, 3, 2, 2, 0, 0, 0, 0]" ], [ [ "[7, 9, 1, 7]" ], "[7, 7, 9, 9, 1, 1, 7, 7]" ] ] }, { "name": "sum", "tp": "(list (int) -> int)", "ios": [ [ [ "[9, 3, 6, 7, 6]" ], "31" ], [ [ "[2, 0, 1, 6]" ], "9" ], [ [ "[2, 8, 7, 0]" ], "17" ], [ [ "[3, 1, 7, 2, 7, 8]" ], "28" ], [ [ "[9, 5, 7, 9, 8, 6]" ], "44" ], [ [ "[7, 2, 7, 7, 4, 3]" ], "30" ], [ [ "[4, 8, 7, 3, 4, 7]" ], "33" ], [ [ "[4, 3, 4, 5]" ], "16" ], [ [ "[8, 1, 2, 2, 3]" ], "16" ], [ [ "[2, 3, 1, 6, 6]" ], "18" ] ] }, { "name": "append constant 0", "tp": "(list (int) -> list (int))", "ios": [ [ [ "[8, 7, 6, 0, 3]" ], "[8, 7, 6, 0, 3, 0]" ], [ [ "[6, 9, 0, 9, 6]" ], "[6, 9, 0, 9, 6, 0]" ], [ [ "[0, 5, 4, 6, 6]" ], "[0, 5, 4, 6, 6, 0]" ], [ [ "[8, 9, 3, 7, 3, 4]" ], "[8, 9, 3, 7, 3, 4, 0]" ], [ [ "[7, 0, 6, 5, 6]" ], "[7, 0, 6, 5, 6, 0]" ], [ [ "[2, 7, 2, 9, 8, 0]" ], "[2, 7, 2, 9, 8, 0, 0]" ], [ [ "[9, 9, 0, 1, 6]" ], "[9, 9, 0, 1, 6, 0]" ], [ [ "[7, 2, 0, 4]" ], "[7, 2, 0, 4, 0]" ], [ [ "[5, 3, 7, 5, 5]" ], "[5, 3, 7, 5, 5, 0]" ], [ [ "[4, 6, 4, 1, 7]" ], "[4, 6, 4, 1, 7, 0]" ] ] }, { "name": "map double", "tp": "(list (int) -> list (int))", "ios": [ [ [ "[8, 0, 5, 3]" ], "[16, 0, 10, 6]" ], [ [ "[1, 0, 0, 3, 3, 0]" ], "[2, 0, 0, 6, 6, 0]" ], [ [ "[2, 3, 2, 7, 1, 9]" ], "[4, 6, 4, 14, 2, 18]" ], [ [ "[7, 4, 5, 2]" ], "[14, 8, 10, 4]" ], [ [ "[9, 1, 2, 4, 1, 9]" ], "[18, 2, 4, 8, 2, 18]" ], [ [ "[4, 9, 6, 6]" ], "[8, 18, 12, 12]" ], [ [ "[3, 1, 9, 3, 1, 4]" ], "[6, 2, 18, 6, 2, 8]" ], [ [ "[9, 1, 9, 0, 5, 8]" ], "[18, 2, 18, 0, 10, 16]" ], [ [ "[5, 1, 8, 5, 0]" ], "[10, 2, 16, 10, 0]" ], [ [ "[7, 1, 6, 5, 7]" ], "[14, 2, 12, 10, 14]" ] ] }, { "name": "map increment", "tp": "(list (int) -> list (int))", "ios": [ [ [ "[2, 6, 2, 8, 4, 9]" ], "[3, 7, 3, 9, 5, 10]" ], [ [ "[7, 7, 6, 9, 4, 5]" ], "[8, 8, 7, 10, 5, 6]" ], [ [ "[1, 4, 7, 3]" ], "[2, 5, 8, 4]" ], [ [ "[9, 9, 6, 5, 0]" ], "[10, 10, 7, 6, 1]" ], [ [ "[5, 2, 7, 3, 5]" ], "[6, 3, 8, 4, 6]" ], [ [ "[5, 4, 9, 4, 8]" ], "[6, 5, 10, 5, 9]" ], [ [ "[8, 3, 1, 3]" ], "[9, 4, 2, 4]" ], [ [ "[6, 7, 8, 3, 7, 7]" ], "[7, 8, 9, 4, 8, 8]" ], [ [ "[0, 1, 4, 3, 6]" ], "[1, 2, 5, 4, 7]" ], [ [ "[3, 4, 9, 5, 7, 8]" ], "[4, 5, 10, 6, 8, 9]" ] ] }, { "name": "map negation", "tp": "(list (int) -> list (int))", "ios": [ [ [ "[5, 6, 8, 5, 5, 7]" ], "[-5, -6, -8, -5, -5, -7]" ], [ [ "[4, 4, 3, 1, 3]" ], "[-4, -4, -3, -1, -3]" ], [ [ "[1, 8, 2, 3, 3]" ], "[-1, -8, -2, -3, -3]" ], [ [ "[7, 4, 9, 8, 9, 4]" ], "[-7, -4, -9, -8, -9, -4]" ], [ [ "[3, 4, 3, 5]" ], "[-3, -4, -3, -5]" ], [ [ "[4, 0, 8, 2]" ], "[-4, 0, -8, -2]" ], [ [ "[0, 0, 8, 4, 2]" ], "[0, 0, -8, -4, -2]" ], [ [ "[7, 1, 0, 9, 4, 7]" ], "[-7, -1, 0, -9, -4, -7]" ], [ [ "[7, 5, 2, 0, 4]" ], "[-7, -5, -2, 0, -4]" ], [ [ "[1, 1, 6, 7, 1]" ], "[-1, -1, -6, -7, -1]" ] ] }, { "name": "zip plus", "tp": "(list (int) -> list (int) -> list (int))", "ios": [ [ [ "[0, 2, 2, 9]", "[4, 1, 3, 1]" ], "[4, 3, 5, 10]" ], [ [ "[6, 9, 9, 9]", "[3, 8, 6, 7]" ], "[9, 17, 15, 16]" ], [ [ "[4, 9, 6]", "[4, 9, 9]" ], "[8, 18, 15]" ], [ [ "[9, 1]", "[3, 3]" ], "[12, 4]" ], [ [ "[1, 2, 3]", "[2, 8, 1]" ], "[3, 10, 4]" ], [ [ "[0, 6]", "[7, 9]" ], "[7, 15]" ], [ [ "[4, 0, 3]", "[4, 4, 7]" ], "[8, 4, 10]" ], [ [ "[3, 4]", "[9, 3]" ], "[12, 7]" ], [ [ "[1, 8, 3]", "[2, 4, 2]" ], "[3, 12, 5]" ], [ [ "[0, 2]", "[4, 9]" ], "[4, 11]" ] ] }, { "name": "zip minus", "tp": "(list (int) -> list (int) -> list (int))", "ios": [ [ [ "[9, 4, 7, 1]", "[7, 4, 6, 4]" ], "[2, 0, 1, -3]" ], [ [ "[8, 7, 7, 1]", "[9, 0, 6, 5]" ], "[-1, 7, 1, -4]" ], [ [ "[4, 0, 1, 3]", "[9, 9, 0, 4]" ], "[-5, -9, 1, -1]" ], [ [ "[0, 2, 7, 8]", "[7, 4, 2, 9]" ], "[-7, -2, 5, -1]" ], [ [ "[7, 1, 7]", "[5, 6, 5]" ], "[2, -5, 2]" ], [ [ "[1, 2, 5]", "[6, 7, 4]" ], "[-5, -5, 1]" ], [ [ "[6, 8, 0, 7]", "[1, 5, 4, 5]" ], "[5, 3, -4, 2]" ], [ [ "[6, 8]", "[0, 8]" ], "[6, 0]" ], [ [ "[6, 0, 3]", "[8, 5, 9]" ], "[-2, -5, -6]" ], [ [ "[7, 0, 3]", "[4, 8, 2]" ], "[3, -8, 1]" ] ] } ]