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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe