User blog comment:Deedlit11/Bignum Bakeoff appetizer/@comment-5150073-20140915191941/@comment-5150073-20140915192509

This is not a "real" language - no implementer is probably for this. But still, it's a formal, non-ambiguous program.