I've mastered free monads, profunctor optics and zygohistomorphic prepromorphisms, but two skills still seem beyond me: poaching eggs without making a mess and eating noodles with chopsticks without making a mess. I've attempted both this morning and I won't be providing photos.
-
Ah, but physics is just a pure function from an input state to an output state.
You sure? You write a proof, give me 100 copies, and I'll burn them and we'll see if they all look the same after.
