Stream: Elpi users & devs

Topic: ✔ How to get the type of a term

view this post on Zulip Michael Soegtrop (Mar 04 2024 at 10:36):

Thanks - I was searching for functions with "type" and "of" in the name, which only gave me coq.env.typeof i:gref, o:term.

view this post on Zulip Notification Bot (Mar 04 2024 at 10:37):

Michael Soegtrop has marked this topic as resolved.

Last updated: Oct 13 2024 at 01:02 UTC