12:54:32drmeisterI missed my train this morning - I'll be in by 10:30
13:09:07Bikei have to work out what type inference should do with constants. some options are: (a) treat every constant as a mystery, which is stupid. (b) have the implementation annotate every constant with a type in the ast, which would be silly but works. (c) richer, more complicated type system with implementation hooks and stuff.
13:17:43Bikeor i could just keep having environments like now.