- š Hi, Iām @zacque0.
- š Iām interested in developing programming language and related tools. I'm also interested in applying formal methods to product better quality software.
- š± Iām currently learning PLT and formal methods.
- š« How to reach me: through Github or email.
zacque0 Goto Github PK
Name: zacque
Type: User