jmchapman/TT-in-TT — pull request #2 by jonsterling (2014-05-24 23:40:17+00:00)
Title: Bugfix

This resolves #1, as well as another issue I noticed where the congruences for `app` and `lam` were insufficiently constrained.