TODO
2010-05-04 Cezary Kaliszyk Separate Term8, as it may work soon.
2010-04-29 Cezary Kaliszyk Some of the exceptions that the parser should check in TODO.
2010-04-11 Christian Urban added TODO item about parser creating syntax for the wrong type
2010-04-11 Christian Urban added small ittems about equivaraince of alpha_gens and name of lam.perm
2010-04-08 Christian Urban updated (comment about weirdo example)
2010-04-08 Christian Urban properly separated the example from my PhD and gave the correct alpha-equivalence relation (according to the paper)
2010-03-31 Christian Urban added an item about alpha-equivalence (the existential should be closer to the abstraction)
less more (0) -10 -7 tip