that's a red hot chili peppers song
Functions with two arrows are a source of much vexation
And signatures with three types need a clear explanation
And if you want to work it out you use curryfication
It's the way to say "currying" with Frenchified affectation
A function takes one term in and then performs a one-to-one translation
It outputs a new function, too, and that's curryfication
Not a food or horse to groom or how to process leather
Evaluate terms in single file then bring them all together
Analytic techniques
Logical theories
Working with curryfication
Working with curryfication
Working with curryfication
Working with curryfication
