Commit df24cccc authored by Pietro Abate's avatar Pietro Abate
Browse files

Merge branch 'master' of https://git.cduce.org/cduce

parents 2398ae0f 4cd1c33b
(* 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