An HTML templating library that uses Python functions as templates