Baking the Y Combinator from Scratch

(the-nerve-blog.ghost.io)

123 points mprast | 1 comments | 09 Apr 25 19:04 UTC | HN request time: 0.202s | source

1. mkckto ◴[10 Apr 25 15:17 UTC] No.43644731[source]▶

Here's a write-up I did on deriving the Y combinator from Lawvere's fixed-point theorem: https://emarzion.github.io/Y-Comb/