Add uglification of De Bruijn terms in output
Add lemma showing SKK reducing to I
Merge pull request #9 from knuton/combinators

Add combinator examples