Today's Qi meeting notes

Today's:

Validly Verifying that we're Compiling Correctly

Among other things, we discussed the feedback on compiler testing approaches from the other thread. We'll likely continue that discussion in the coming weeks.

Enjoy, and hope to see you next time :slight_smile: