Qiqi Inactive


Description

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.

Extracted automatically from Qi homepage
Open new issue
Homepage
http://www.lambdassociates.org/
Version
Unavailable
Hits
12

Install Qi

brew install qi

Dependencies 2

The following 2 dependencies will be installed if you install Qi:

Clisp and Sbcl.