andrejbauer/tt — pull request #26 by JasonGross (2014-05-25 06:09:56+00:00)
Title: Add a list example

I would like to know if the non-dependent recursive, and dependent
non-recursive, commutativity rules for lists can be combined into a
single dependent recursive commutativity rule.