- ๐ 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 / org-dp Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tj64/org-dp
Declarative Programming with Org Elements
License: GNU General Public License v3.0