CSCI 0001: Functional programming and type theory (taught in English [0]) For decades, the academia mafia, through impenetrable jargon and intimidating equatio

CSCI 0001: Functional programming and type theory (taught in English [0]) For decades, the academia mafia, through impenetrable jargon and intimidating equations, have successfully prevented the masses from adopting this beautiful paradigm of computation. That changes now. Join us to learn why monads really are monoids in the category of endofunctors (oh my! sorry about that). [0] Insert your favourite natural language