Tamacola Case Study

Languages implemented on top of Tamacola can take advantage of: A few experiments on Tamacola: (jump "S3-Yoshiki2.html") (jump "S3-Yoshiki3.html") (jump "Forall.html")