Change History for Defaulting

Version Date Author Comment
10 8 years igloo@… Proposal to remove defaulting
9 9 years malcolm.wallace@… note Simon Marlow's counter example
8 9 years malcolm.wallace@… note about confluence in the MPTC case
7 9 years malcolm.wallace@… add comments about MPTC, cancelling defaults, etc
6 9 years malcolm.wallace@… add some examples, tidy up the intro motivation
5 9 years malcolm.wallace@… Add two new proposals for defaulting
4 10 years john@…
3 10 years malcolm.wallace@…
2 10 years john@…
1 10 years ross@…