itarticle basic computational type theorybasic computational type theory “Axiom” (Theorm) of Choice Natural Numbers mathbb{N} Identity Type Function Extensionality / Principle of Extensionality 0
itarticle fluent python study notes – text versus bytes Byte essentials Basic encoders / decoders Handling text files Normalizing Unicode for saner comparisons END 0