TODO
2010-08-29 Christian Urban updated todos
2010-07-26 Christian Urban small cleaning
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)
2010-03-27 Cezary Kaliszyk Parsing of list-bn functions into components.
2010-03-26 Cezary Kaliszyk Update cheats in TODO.
2010-03-25 Cezary Kaliszyk Update TODO
2010-03-22 Cezary Kaliszyk Got rid of alpha_bn_rsp_cheat.
2010-03-22 Cezary Kaliszyk fv_rsp proved automatically.
less more (0) -14 tip