Lambda-calculus and type theory form a foundational framework in computer science and mathematical logic, offering a formal approach to modelling computation and reasoning about programs. At its core, ...

This is more of a rant than anything else. Forgive me if it sounds Lounge-y. I've been a Windows sysadmin for 12 years. I enrolled in a Computer Science degree program to make a transition into ...