is there a way to make osx go dark mode?

background, chrome, emacs, and anything else that may be used

I want white on black background, not black on white background

System Preferences -> Accessibility -> Display -> check Invert Colors

It changes all colors, not just black<->white

So maybe not what you want.

@andy.fingerhut: lol, that is probably what I want

unfortunately, I already put in the time ot invert emacs, but I'll remember it for future

What does 'beta equiv' mean in the context of type checking / stlc ? I'm trying to google for a precise definition, but all I'm getting are examples + beta reduction (substitution)

@qqq a and b are beta equivalent if they can be transformed in the same expr c via beta reduction

e.g. (identity 1) and 1 are beta equivalent

@bronsa: is this the same as saying: (beta-eq a b) == (= (eval-as-far-as-possible a) (eval-as-far-as-possible b)) for some def of eval-as-far-as-possible ?

yes

@bronsa: I don't know if this question even makes any sense, but is (beta-equiv (while 1 {}) (while 1{})) supposed to: 1. return true or 2. is undefined ?

for some 'lambda calc recursion version of (while1 {})'

you can have beta equivalence run into recursion, no idea what the semantics would be then