Thanks! Sounds like I need to have a better understanding of lambda calculus, and as always, category theory :)
Thanks! Sounds like I need to have a better understanding of lambda calculus, and as always, category theory :)