Recording and replaying events in a type-checker
kaleidawave.blog