Am 01.02.11 22:17, schrieb Houdini:
> 
> How about this...?
> assign :: (Atom,Bool) -> Formula -> Formula
> assign (a,b) = map . (map f) where
>    f (x,b) = (x,(x==a)&&b)

How about testing it?


_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to