| commit | d7970ec4545dd4bc33820fb1a3cca0fb1a2a3360 | [log] [download] |
|---|---|---|
| author | pez <pez> | Mon Jan 24 19:06:27 2011 +0000 |
| committer | pez <pez> | Mon Jan 24 19:06:27 2011 +0000 |
| tree | cfa180e2c10e3f2a6b473213bb574a35eaf28074 | |
| parent | 62dd459b84ecdd2e2db8e27b36021d152a308c02 [diff] |
Fold lava into our "better" type system as well