2 lines
48 B
Text
2 lines
48 B
Text
red (1 2 3 4) (3 2 1 5) .
|
|
--> (4 5 1 2 3):Int
|
red (1 2 3 4) (3 2 1 5) .
|
|
--> (4 5 1 2 3):Int
|