In GUI browsers, I have this page themed dynamically, so when it's dark outside, you'll get a dark theme. You need JS enabled if you want the dynamic theme; I don't run any JS-based analytics or tracking.
You probably need to memorize these.
All are closed (no free variables). All are abstractions.
S, K, and I are terms in the SKI combinator calculus (combinatory logic, βCLβ). CL is undecidable, because you canβt derive E β’ s = t.