5 lines
154 B
Text
5 lines
154 B
Text
|
uses lists;
|
||
|
|
dec transpose : list (list alpha) -> list (list alpha);
|
||
|
|
--- transpose ([]::_) <= [];
|
||
|
|
--- transpose n <= map head n :: transpose (map tail n);
|