Tree Calculus captures the essence of computation add 58 42 100 One operator. Trivial semantics. Turing complete. Intensional. Intensional Tree Calculus can perform program analysis without quotation: The ability to reflect on programs is built right into the reduction rules. This means that anything from type checking to compilation and optimization can happen from within programs and without additional external tools (🚀demo, 🚀fusion demo). In particular, this supports arbitrary type systems ...