The language reference, standard library and tour for Hover v0.7.0 live here soon. Until then, the source is the documentation.