PriyaNotes

My space for writing about programming languages and verification.