Stream: Coq users

Topic: Notations for unbound variables

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.

Enrico Tassi (Oct 12 2020 at 15:20):

maybe a coercion from String to Term can help here

Last updated: Oct 13 2024 at 01:02 UTC