µcad is a purely declarative markup programming language that evaluates programs like mathematical...