A Pythonic language that compiles into HTML