I'm Curtis Fenner. I graduated from the University of Michigan in 2018. Right now, I'm probably working on something programming related!
I've been programming in some form for about ten years, and have learned many languages:
Smol is a toy programming language, interpreter, and compiler. Smol is statically typed, featuring parametric polymorphism. It also includes a simple SMT-solver, used to verify correctness conditions at compile time, such as array indexes being in-bounds.