I've started an occasional series
of studies on the Lambda Associates site
about Qi applications. The studies
are all short and designed for people
to experiment with small elegant open
source Qi programs of < 100 lines.
The first of this series was on interval
type theory which I put out in April.
The second is just out now; it deals
with how to build a simple type checker for
Lisp programs in Qi.
Go to www.lambdassociates.org/studies/index.htm
for more on this.
Mark Tarver