Comment by Xcelerate

Would love to read a HN-tailored blog post of your work or an overview of the binary lambda calculus if you ever have the time btw