Mon, 15 Feb 2010 01:27:06 +0100 | ballarin | Tuned interpretation proofs. | changeset | files |
Thu, 11 Feb 2010 21:00:36 +0100 | ballarin | A rough implementation of full mixin inheritance; additional unit tests. | changeset | files |
Tue, 02 Feb 2010 21:23:20 +0100 | ballarin | Clarified invariant; tuned. | changeset | files |