[EMAIL PROTECTED] wrote: > If I had to guess I'd say Lambda Calculus is probably easier to do math proofs > in and Lisp is probably easier to do program proofs in. > Lisp is pretty crummy for doing program proofs. For that look at ML or Haskell.
--Chris -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
