This concludes the Hava Language Tutorial.
For a more formal and comprehensive explanation of the Hava language, please consult the technical reference.