{{stub}}{{language|Xanadu
|site=http://www.cs.bu.edu/~hwxi/Xanadu/Xanadu.html
}}
Xanadu is a dependently typed imperative programming language.