May 2
- Ben's been looking at the last chapter in the text, on equality relations.
- Discussed physical units as an example of "computed type", Quantity(dimension) , with ways of making new types i.e. Q(d1)Q(d2) => Q(d1d2) for say Newton*Meter. Trying to make "variable types" and "computed types" more concrete.
Ben suggests that to prepare for what he wants to do next year I should look at
