high level anus

functional programmers: true high-level languages are the ones in which you don't need to think about the irrelevant, it's just you and the algorithm!
also functional programmers: haha this pleb wrote an explicitly recursive traversal function instead of automatically deriving it by utilizing an anusomorphism over coLGBT-coalgebraic comonads and an epsilon turbofunctor xD

>>3
Unlike type theory Hegelian logic has never been formalised (because it is dumb, needlessly complex, and probably unsound)