Hi there 👋 I studied Mathematics and Computer Science at UW-Madison (2024-2025), and before that I studied Software Engineering at NJU (2021-2023). I think about the design of PL and its well-definedness.