Re: {-# rules

Wolfram Kahl wrote: In the end, my dreams even include a proof format that can be checked by the compiler :-) Dependent types! That's all you need. -- -- Lennart

rules

This is a reply to the notices by David Barton [EMAIL PROTECTED], Jerzy Karczmarczuk [EMAIL PROTECTED] on the (algebraic) *rules* in Haskell. David Barton writes What began with a fairly limited, and practical, suggestion on Simon's part to assist the compiler with optimizations