Qi is a functional programming language with a Turing-complete type system based on the sequent calculus. See: http://en.wikipedia.org/wiki/Qi_(programming_language) Closes Homebrew/homebrew#7806. Signed-off-by: Charlie Sharpsteen <source@sharpsteen.net>