Mark Tarver <dr.mtar...@ukonline.co.uk>

I am pleased to announce the release of Qi II on www.lambdassociates.org.
This new release incorporates

* 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.

Mark