fl on Nostr: nprofile1q…tygg9 But Lambda calculus is a formal system and then the only machine ...
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyqhml7vg9expqk78wtq0x9lmrkglwul8hejjjykn2xsrlngqrf955qtygg9 (nprofile…ygg9) But Lambda calculus is a formal system and then the only machine you need is a machine that replaces metavariables by expressions.