lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]


On Fri, Apr 26, 2013 at 06:16:03PM +0200, Stefan Reich wrote:
> 
> MICL is scheduled to be a portable application that is - MATHEMATICALLY
> PROVABLY - the most intelligent command line possible.

Peter van der Linden, in his book Expert C Programming, has an interesting
point on how flawed is the idea of trying to proof code.

-- 
Daniel Bolgheroni <daniel@bolgh.eng.br>
http://bolgh.eng.br

ASCII ribbon campaign ( )
against HTML e-mail    X
                      / \
(and no top-post also, please)