[Agda] can normal forms be made to look shorter somehow?

[Samuel Bronson]

Oops. Sent this to just Ulf the first time.

On 5/8/08, Ulf Norell <ulfn at cs.chalmers.se> wrote:

> I suppose you could define a "presentation" version of Gen where you replace
> the Fins by natural numbers, and then convert into the presentation form
> before you print it. Closed natural numbers are printed on decimal form.

Hmm. I'd rather write a pretty-printer... then I could use actual
variable names instead of the semi-accidental de Bruijn indexing...