j
k
j a
j l
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?
Back to the thread
Back to the list
