> Here's the file. I just followed links from the ICFP page.
Hmm. That's not the problem. I was using the same one. Here's the error I'm
seeing. Any ideas?
This is TeX, Version 3.14159 (Web2C 7.3.1)
(contify.tex
LaTeX2e <1998/12/01> patch level 1
...
! Missing { inserted.
<to be read again>
\mathchoice
l.268 & \Aone
{} & \Atwo{} \\