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: Feb 06 2023 at 12:04 UTC