A Winter of Philosophy and Logic
Winter was a time of deep contemplation and thoughtful reflection. I describe my readings in intuitionistic logic, type theory and the open source tooling that allows me to get my hands dirty and stay free.
Winter was a time of deep contemplation and thoughtful reflection. I describe my readings in intuitionistic logic, type theory and the open source tooling that allows me to get my hands dirty and stay free.