My Laptop is Working Again

2004-08-14T18:43:00Z

Here is my favourite higher-order polymorphic function. It is based on the proof of Pierce’s law that I talked about earlier.

λf . f (λg . g (λa . f (λb . a))) : ((((A ⇒ B) ⇒ A) ⇒ A) ⇒ B) ⇒ B

I have no idea what this function does though.

Tags


Russell O’Connor: contact me