Introduction

Directives

The $head element lets you add children to the head.

$head(
    $element("title", {}, "ceres")
)
.mount(document.body);