Lambda Associates provides free software
for students, educators, and scientists engaged
in software research. We fix the standards and
promote the distribution of Qi.
Qi
is a functional programming language that offers
the advantages of pattern matching, l calculus consistency,
optional lazy evaluation and static type
checking. It uses sequent calculus notation to
define types, and has the most powerful type
system of any existing functional language,
including ML and Haskell. Qi includes an
integrated fully functional Prolog and an inbuilt
compiler-compiler. Qi includes sources
and is absolutely free for personal and
educational use.
|
 |
