* A complete reimplementation of Qi from the ground up.
* New license.
* Type secure lazy evaluation on demand.
* Improved programmable syntax.
* 4 speed compiler which utilises type information.
* Improved integration with CL.
* Runs under LispWorks.
* Common functions made polyadic.
* Improved connection to Prolog.
* Rule closures for embedding sequent reasoning into Qi functions.
* Improved handling on dependent types.
* A type secure class system in a library along with FPQi (second
edition).
* Completely documented in 'Functional Programming in Qi (second
edition)'.

To explore these features in more depth

http://www.lambdassociates.org/whatsnew.htm.

Documentation online at http://www.lambdassociates.org/doc.htm
incorporating a manual.

To download, www.lambdassociates.org as usual.

I'm still updating some material on the site including Wikipedia.

| The license must not restrict anyone from making use of the program
in a
| specific field of endeavor. For example, it may not restrict the
program
| from being used in a business, or from being used for genetic
research.

See <http://www.opensource.org/docs/osd> or identically
<http://www.debian.org/social_contract.en.html>.

And btw, thanks for making my list of technologies I ought to know but
don't have the time for shorter.

Thus I'm totally uninterested in

a.  whether or whether you do not use Qi.
b. whether my use of 'open source' conforms to the dictats of your
self-appointed group.

and thats about as far as this conversation goes.

Mark

On 29 Nov, 09:39, hars <h...@bik-gmbh.de> wrote: