Stream: Coq users

Topic: Notations for unbound variables

view this post on Zulip Shea Levy (Oct 12 2020 at 14:44):

Does anyone have a notation they're happy with for variables in syntax trees? var "foo" is fine but would be cool if there's some slick way to just say foo or similar.

view this post on Zulip Enrico Tassi (Oct 12 2020 at 15:20):

maybe a coercion from String to Term can help here

Last updated: Jun 23 2024 at 01:02 UTC