Fri, 09 Apr 2010 09:02:54 -0700 Brian Huffman rewrite paragraph introducing equivariance, add citation to Pitts03
Fri, 09 Apr 2010 08:16:08 -0700 Brian Huffman edit 'contributions' section so we do not just quote directly from the reviewer
Fri, 09 Apr 2010 11:08:05 +0200 Christian Urban renamed ExLam to Lambda and completed the proof of the strong ind principle; tuned paper
Thu, 08 Apr 2010 14:18:38 +0200 Christian Urban clarified comment about distinct lists in th efuture work section
Thu, 08 Apr 2010 13:04:49 +0200 Christian Urban tuned type-schemes example
Thu, 08 Apr 2010 11:52:05 +0200 Christian Urban updated (comment about weirdo example)
Thu, 08 Apr 2010 11:50:30 +0200 Christian Urban check whether the "weirdo" example from the binding bestiary works with shallow binders
Thu, 08 Apr 2010 11:40:13 +0200 Christian Urban properly separated the example from my PhD and gave the correct alpha-equivalence relation (according to the paper)
Thu, 08 Apr 2010 10:25:38 +0200 Christian Urban merged
Thu, 08 Apr 2010 10:25:13 +0200 Christian Urban some further changes
Thu, 08 Apr 2010 00:49:08 -0700 Brian Huffman merged
Thu, 08 Apr 2010 00:47:13 -0700 Brian Huffman change some wording in conclusion
Thu, 08 Apr 2010 00:25:08 -0700 Brian Huffman remove extra word
Thu, 08 Apr 2010 09:13:36 +0200 Christian Urban merged
Thu, 08 Apr 2010 09:12:13 +0200 Christian Urban added new paper directory for further work
(0) -1000 -300 -100 -15 +15 +100 +300 +1000 tip