Commit 6bd8f78e authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

Added exmpla from Xquery 3.0 paper

parent b7e6b480
(* example taken from the paper "A core calculus for XQuery 3.0" *)
let pretty ( ( <a class="style1" href='c> 'a) -> <a href='c>[<b> 'a ] ;
'b\ <a class="style1">_ -> 'b\ <a class="style1">_ )
| <a class="style1" href=h ..> l -> <a href=h>[<b> l]
| x -> x;;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment