EG Zoom meeting today at 4pm UTC (9am PDT, 12pm EDT). Recent threads to discuss:
- "User model stacking: current status": Brian talked about factoring atomicity out of the B2/B3 choice, as an extra choice applying to B3 (and perhaps B2, too) - "Nullity (was: User model stacking: current status)": Brian explored the possibility of using '?' and '!' as alternatives to '.ref' and '.val' for B3 classes, anticipating more general support in the language for null-free types - "User model: terminology": Brian summarized the different features that need labels (non-identity classes, non-identity classes with a valid zero, tearable classes, types with and without null)