# Backus' matrix-multiplication example

def IP = /(+) . @(*) . trans
def MM = @@IP . @dl . dr . [s1, trans . s2]