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)