RosettaGit

Tasks
Drafts
Languages

Contributing

Code on GitHub
Issues
Changelog

Special Pages

Similar Sites
Online Execution

Xanadu

Xanadu is a dependently typed imperative programming language.

Tasks

N-queens problem

Created by Adrian Sieber and contributors with Zola

Licensed under the GFDL-1.3-or-later