![[RSS 2.0 Feed]](http://plnews.org/img/feed.png)
Qi II has been released. It has also been announced that 'Functional Programming in Qi (second edition)' has also been published. Qi is a Common Lisp-based programming language offering pattern matching, l calculus consistency, optional static type checking, and other features.
This release of Qi includes: a complete reimplementation of Qi, a new license, support for type secure lazy evaluation on demand, improved Common Lisp integration, improved Prolog interoperability, support for rule closures, improved dependent type handling, and other changes.
The new edition of 'Functional Programming in Qi (second edition)' includes: a new chapter on abstract programming, a new chapter on compiling sequent calculus, a revised final section explaining rule closures, Qi YACC and Qi Prolog documentation, and other changes.
![[Valid XHTML 1.0]](http://plnews.org/img/valid_xhtml.png)
![[Valid CSS]](http://plnews.org/img/valid_css.gif)
![[Valid RSS 2.0]](http://plnews.org/img/valid_rss.gif "Validate my RSS feed")
![[Valid Atom 1.0]](http://plnews.org/img/valid_atom.gif "Validate my Atom 1.0 feed")
![[Powered by OCaml]](http://plnews.org/img/ocaml.gif)