Print fully reconstructed terms, with all hidden arguments/patterns displayed.

From this one can read of how the type checker understood one's input.

Applies to: CLI, ?Emacs?

There is already the flag --show-implicit which will show all implicit arguments when printing. This could be combined with some way to print the type checked signature.

Page last modified on June 06, 2007, at 04:54 PM
Powered by PmWiki