User:Djspiewak

$$f \colon (X \times Y) \to Z$$

$$\mbox{curry}(f) \colon X \to (Y \to Z)$$


 * Thank you! I've been trying to find more information about recursive ascent parsers because I'm trying to write a self-hosting parser for my own little language. Since it's written *in* my language, I can't use any existing compiler-compilers, but the grammar I have is LALR not LL. This article is a huge help. Munificent (talk)