coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] how to display a fully parenthesized term

From: Catalin Hritcu <catalin.hritcu AT gmail.com>
To: jonikelee AT comcast.net
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] how to display a fully parenthesized term
Date: Sun, 10 Jul 2011 23:42:39 -0400

On Thu, Jul 7, 2011 at 6:05 PM,
<jonikelee AT comcast.net>
wrote:
> Is there some way to print out a term such that all subterms are
> parenthesized,
> so that a novice can see how the term is parsed without having to fully
> understand the precedence/associativity rules?
>
"Unset Printing Notations" might also help with this. In CoqIDE you
need to do this from the menu: Display > Deactivate Notations
Display.

Catalin

[Coq-Club] how to display a fully parenthesized term, jonikelee
- Re: [Coq-Club] how to display a fully parenthesized term, Catalin Hritcu