prstanley: > Hi folks > Apologies for the off-topic post. > If anyone knows anything about the rules of proof by deduction and > quantifiers I'd be grateful for some assistance. > Much obliged,
http://www.cs.cmu.edu/~rwh/plbook/ Is an excellent introduction to reasoning about programming languages. -- Don _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe