2 lines
20 B
Coq
2 lines
20 B
Coq
|
[1 2 3] [puts] step
|
|
|
[1 2 3] [puts] step
|