ϵ">]>
Literature.
[1] J. Komara. Declarative Programming. Downloadable lecture notes available through the web page of the course.
[2] J. Kľuka. Lecture Notes from Introduction to Declarative Programming.
[3] J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001.
Exercise. Define the constant which evaluation creates a simple XHTML document containing the text Hello World!. Test your solution first with the following query
Hello = xs:Lx
and then, in case of no type errors, with
Hello = xs:Xml
Both formats are defined in the module Mxml.
Use the operation from the same module to wrap up the list of elements into the skeleton of an XHTML document, where
the text is the name of the title of the header element,
the list is the content of the body element.