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