I created this hackmd document for the guidelines that we'll be evolving
I was thinking that it would probably be a good place to talk about custom types from
sync that we wind up using
(i.e., I like the idea of rustc generally avoiding the "normal" types and preferring types that encapsulate our higher-level patterns)
@nikomatsakis is the video link of the recording, ready?
I'll upload it shortly