Re: [Haskell-cafe] Unit propagation

How can I create he function propagateUnits by just using this 2 functions and recursion? remove :: (Eq a) ->a ->[a] ->[a] -This function removes an item from a list. assignModel :: Model -> Formula -> Formula -This function applies the assign function for all the assignments of a given model. -- View this message in context: http://haskell.1045720.n5.nabble.com/Unit-propagation-tp3384635p3387910.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.