ex1 10

← Back

Basic Info

• Type: sml
• Size: 306 B

• Origin

• Download

Functional Programming
└── Lab ML
    └── 0​314
        └── ex1 10.sml

---

Preview

(*
Suppose that sets are represented by lists. Write a function that takes such
a list, and produces the power set of the list

If S is a set, the power set of S is the set of all S′ such that S ⊆ S′
*)

fun powerSet(nil) =
    [nil]
| powerSet(x::xs) =
    powerSet(xs) @ insertAll(x,powerSet(xs))
;