Exploring the Curry-Howard Correspondence and Types as Propositions in TypeScript - View it on GitHub