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