Demo of Scalate 2.0 with Pure and Lifted Scaml