Am 14.04.2011 18:57:35 schrieb Andrew Coppin:

A couple of questions:

1. Why is the existence of polymorphic seq bad?

See http://www.iai.uni-bonn.de/~jv/acta.pdf, Sections 1 and 2 and pointers therein. Also, numerous discussions on this list over the years. Best, Janis.

2. Why would the existence of polymorphic rnf be worse?

3. How is pseq different from seq?

That is all...

-- Jun.-Prof. Dr. Janis Voigtländer http://www.iai.uni-bonn.de/~jv/ mailto:jv@iai.uni-bonn.de