| 2010-04-09 | Brian Huffman | edit 'contributions' section so we do not just quote directly from the reviewer | changeset | files |
| 2010-04-09 | Christian Urban | renamed ExLam to Lambda and completed the proof of the strong ind principle; tuned paper | changeset | files |
| 2010-04-08 | Christian Urban | clarified comment about distinct lists in th efuture work section | changeset | files |
| 2010-04-08 | Christian Urban | tuned type-schemes example | changeset | files |
| 2010-04-08 | Christian Urban | updated (comment about weirdo example) | changeset | files |
| 2010-04-08 | Christian Urban | check whether the "weirdo" example from the binding bestiary works with shallow binders | changeset | files |
| 2010-04-08 | Christian Urban | properly separated the example from my PhD and gave the correct alpha-equivalence relation (according to the paper) | changeset | files |
| Loading... | |||