Feel free to skip this if you like. It is mostly for the hard core... The lint work is important for the following reasons:
1. I'll be dividing my time between Leo and super lint until the big collapse in complexity occurs. I think it just happened. For sure there will be no more long posts :-) 2. Super lint offers the possibility of speeding up important parts of Leo by converting them to Pylint automatically. This is strictly an experimental possibility, but I don't want to ignore it. 3. The main idea behind super lint, namely the strong intuition that we programmers *do* know the types of almost all variables, has intriguing possibilities for Leo's source code. It may, for example, shed light on Leo's plugin mechanism. Anyway, you should be aware of how I am spending my time lately... Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
