Jean Abou Samra (new account) on Nostr: nprofile1q…fv38n Long ago, I represented the λ-cube as executable Scheme code:
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzgxgffyvlq298z8crd04fdj92dh0ya2w3mefssdfq3s2whkkz6e7hfv38n (nprofile…v38n) Long ago, I represented the λ-cube as executable Scheme code: