2 lines
82 B
Text
2 lines
82 B
Text
Idris> transpose [[1,2],[3,4],[5,6]]
|
|
[[1, 3, 5], [2, 4, 6]] : List (List Integer)
|
Idris> transpose [[1,2],[3,4],[5,6]]
|
|
[[1, 3, 5], [2, 4, 6]] : List (List Integer)
|