Welcome to my blog
Introductory post for Programming & Proofs - a blog by Cody Dresel.
Hello, and welcome.
This blog will be about programming, mathematics, compilers,
and other topics that I enjoy researching and practing.
I look forward to further publications, and I hope you’ll find my publications enlightening and entertaining.
Thanks for stopping by,
Cody