Riley MoherinBetter ProgrammingAre Programmers Philosophers in Disguise?The Curry-Howard correspondence for beginners4 min read·Aug 9, 2022--3--3
Riley MoherinBetter ProgrammingHow a Barber Founded Computer ScienceAn introduction to the origins of type theory4 min read·Jul 28, 2022----