Comment by mdcox

Luckily, the author himself wrote one! http://www.logicmatters.net/tyl/shorter-tyl/