The Demo system is running Galax 0.6.5.
The menu on the left lists various XQuery use cases that you can execute using Galax. Most of the use cases are those from the XQuery 1.0 Use Cases Working Draft.
Each use case includes several sample queries and input documents that you can execute using Galax. The result of evaluating a query includes the static type that Galax inferred for the input query and the query result computed by Galax.
You can modify the sample queries or write your own query in the Query text box.
At the bottom of each use case you will find some configuration parameters. You can turn Typing or Evaluation off. You can also print the normalized query (in the XQuery core). You can also have Galax emit debugging messages during typing or evaluation by checking the Debugging button.