- π 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