x
Universal Pattern Calculus — LessWrong