1 Commits (bda46f6642ecd218236e1856bdd3b7e6b3fc88d2)

Author	SHA1	Message	Date
Joshua B. Griffith	7714208fb9	New Formula: Qi ... 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>	2011-09-24 22:55:55 -07:00