At about 1 am christmas morning, I "finished" credence. Five months. If you subtract the hours of my work organization, you can see exactly when I started on the backend in my GitHub contribution graph: Credence has been the culmination of a lot...
December 19th, 2025 Since I wrote this post, type checking in Credence has changed. Originally, I talked about how profound it was that I "accidentally" got a type system. Today, the Type Checker is more discrete and separate from the Table and Table...
I've been working on a noteworthy amount of language and compiler design for the last couple of years, both professionally and at home. In compiler theory, some of the most useful tools are intermediate languages, intermediate representation (IR)
