From Type Theory to Haskell in 10 Minutes

6 views
Skip to first unread message

Philip Thrift

unread,
Nov 2, 2019, 7:08:48 AM11/2/19
to Everything List

Nifty little article with pictures of Leibniz, Russell, Church.

"From Leibniz to Russell; from type theory to the lambda calculus; and from the simply-typed lambda calculus to Curry-Howard Correspondence, ... all the way to self-proving functional programs (like the ones we wrote in Haskell)."

From Type Theory to Haskell in 10 Minutes

@philipthrift

Reply all
Reply to author
Forward
0 new messages