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 |
|