## Qi - Typed Lisp

From: "andrew cooke" <andrew@...>

Date: Fri, 25 Aug 2006 20:14:12 -0400 (CLT)

Interesting project.  The type system is based on something called sequent
calculus - in practice, you define predicates that are handed off to
prolog for unification, I think (I don't fully understand).

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

Andrew