lambda calculus.md ฯ 0.01% Linked References automata cyber/context/distribution/128k cyber/context/distribution/1400k cyber/context/distribution/200k cyber/context/distribution/500k cyber/context/distribution/900k lang type theory Local Graph