[Agda] Re: constructor/definition taxonomy in compiler internals/syntax highlighting

[Noam Zeilberger]

On Fri, Aug 14, 2009 at 5:17 PM, Noam
Zeilberger<noam.zeilberger at gmail.com> wrote:
>  Is there an easy way to check whether a name denotes a
> type constructor?

and the answer to this seems to be, "Have a look at isDatatype in
Agda.TypeChecking.Positivity".

Noam