About me
-
💼 Student at Tianjin Normal University
-
❤️ I love writing Java and TypeScript, and building fun experiments on type-level
-
💬 Ask me about anything here
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseAbout me
💼 Student at Tianjin Normal University
❤️ I love writing Java and TypeScript, and building fun experiments on type-level
💬 Ask me about anything here