Sal Rahman<p>&quot;Proofs are Programs&quot; <a href="https://www.youtube.com/watch?v=AGnTnbR1sSg" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=AGnTnbR1sS</span><span class="invisible">g</span></a></p><p><a href="https://techhub.social/tags/Philosophy" class="mention hashtag" rel="tag">#<span>Philosophy</span></a> <a href="https://techhub.social/tags/ComputerScience" class="mention hashtag" rel="tag">#<span>ComputerScience</span></a> <a href="https://techhub.social/tags/Mathematics" class="mention hashtag" rel="tag">#<span>Mathematics</span></a> <a href="https://techhub.social/tags/CurryHowardCorrespondence" class="mention hashtag" rel="tag">#<span>CurryHowardCorrespondence</span></a> <a href="https://techhub.social/tags/Currying" class="mention hashtag" rel="tag">#<span>Currying</span></a> <a href="https://techhub.social/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://techhub.social/tags/HaskellCurry" class="mention hashtag" rel="tag">#<span>HaskellCurry</span></a> <a href="https://techhub.social/tags/TypeTheory" class="mention hashtag" rel="tag">#<span>TypeTheory</span></a> <a href="https://techhub.social/tags/Computation" class="mention hashtag" rel="tag">#<span>Computation</span></a> <a href="https://techhub.social/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a></p>