RosettaCodeData/Task/Power-set/V/power-set-1.v
Ingy döt Net b83f433714 tasks a-s
2013-04-10 23:57:08 -07:00

2 lines
62 B
Coq

[A C E] powerlist
=[[A C E] [A C] [A E] [A] [C E] [C] [E] []]