search

haskellweekly / haskellweekly.github.io

A free weekly newsletter about the Haskell programming language.
https://haskellweekly.news
MIT License
89 stars 33 forks source link

Curry-Howard-Lambek Correspondence #248

Closed eviefp closed 5 years ago

eviefp commented 5 years ago

Hello! I wrote a blog post showing an example proof in Logic, Type Theory and Category Theory using the Curry-Howard-Lambek correspondence, correlating them to the Haskell implementation.

Link: http://cvlad.info/curry-howard/

My twitter: https://twitter.com/cvlad

Thanks!