Dependent types and type theory. I’ve only been understand small pieces at the fringes so far but each thing I am able to get is like a little mind blowing. Al

Dependent types and type theory. I’ve only been understand small pieces at the fringes so far but each thing I am able to get is like a little mind blowing. Also moon phases (?)