https://wiki.haskell.org/api.php?hidebots=1&urlversion=1&days=7&limit=50&target=Curry-Howard-Lambek_correspondence&action=feedrecentchanges&feedformat=atomHaskellWiki - Changes related to "Curry-Howard-Lambek correspondence" [en]2024-03-29T11:31:17ZRelated changesMediaWiki 1.35.5