7 lines
100 B
Coq
7 lines
100 B
Coq
|
[powerlist
|
||
|
|
[null?]
|
||
|
|
[unitlist]
|
||
|
|
[uncons]
|
||
|
|
[dup swapd [cons] map popd swoncat]
|
||
|
|
linrec].
|