HEIR meeting 2025-04-17

Here are the notes and video recording from the HEIR meeting on 2025-04-17.

Hongren Zheng gave an overview of the mgmt dialect which handles ciphertext management in the compiler. This talk starts at 27:11. The slides can be found here.