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.
maybe a coercion from String to Term can help here
Last updated: Sep 23 2023 at 14:01 UTC