Skip to content

Instantly share code, notes, and snippets.

View BlastWind's full-sized avatar
👊

Andrew Chen BlastWind

👊
View GitHub Profile
@BlastWind
BlastWind / curry-paradox.hs
Last active December 18, 2024 03:16
Curry's Paradox in Haskell
data Bottom -- Should be unconstructable.
newtype Curry = Curry { r :: Curry -> Bottom }
f :: Curry -> Bottom
f c = r c c
b :: Bottom
b = f (Curry f) -- But we can construct it!
date close
1-May-12 58.13
30-Apr-12 53.98
27-Apr-12 67.00
26-Apr-12 89.70
25-Apr-12 99.00