a(href('Courses.html'),X) -> #html(#head(#title(#X)))
a(href('People.html'),X) -> #html(#head(#title(#X)))
a(href('Publications.html'),X) -> #html(#head(#title(#X)))
a(href('Software.html'),X) -> #html(#head(#title(#X)))
a(href('Home.html')) -> #html(#head(#title(#'CLG HOME')))
head(title('CLG MENU')) -> #html(#head(#title(#'CLG MENU'),meta()),body())
head(title('Publications')) -> #html(#head(#title(#'Publications')),body(ul(li())))
head(title('CLG HOME')) -> #html(#head(#title(#'CLG HOME')),body(img(src('logo.jpg'))))
html() -> #html(head(title()),body())