[Haskell-cafe] Slightly off-topic

Don Stewart dons at galois.com
Thu Nov 1 14:10:53 EDT 2007

> 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,


Is an excellent introduction to reasoning about programming languages.

-- Don

More information about the Haskell-Cafe mailing list