diff options
| author | Mart Lubbers | 2015-03-03 12:37:56 +0100 |
|---|---|---|
| committer | Mart Lubbers | 2015-03-03 12:37:56 +0100 |
| commit | d21ead92c20299ce914b1e3a7663990f9a3e85f1 (patch) | |
| tree | 27617ba1602fe73fca4e90b135ac31978f0e1463 /week4/mart/StdSet.dcl | |
| parent | 5.4 is raar idd (diff) | |
mooiere powerset
Diffstat (limited to 'week4/mart/StdSet.dcl')
| -rw-r--r-- | week4/mart/StdSet.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/week4/mart/StdSet.dcl b/week4/mart/StdSet.dcl index 6cad7f1..0c702ca 100644 --- a/week4/mart/StdSet.dcl +++ b/week4/mart/StdSet.dcl @@ -22,4 +22,4 @@ product :: (Set a) (Set b) -> Set (a,b) instance zero (Set a)
instance == (Set a) | Eq a
-powerSet :: (Set a) -> Set (Set a)
+powerSet :: (Set a) -> Set (Set a) | Eq a
|