From adamc at csail.mit.edu Sun Jul 5 13:57:08 2020 From: adamc at csail.mit.edu (Adam Chlipala) Date: Sun, 5 Jul 2020 13:57:08 -0400 Subject: [Ur] Change grammar to include fewer keywords Message-ID: <1796e978-4be8-1f3d-ef8a-099814e45307@csail.mit.edu> There's an open GitHub issue suggesting that the language definition include fewer keywords.  That way, the identifiers [Type], [Name], [Unit], and [map] become available for user-defined identifiers (as opposed to somewhat unappetizing alternatives like [mp] and [Nam] that I've gotten used to). I think I'm pretty convinced now that the associated PRs make sense, but I figured I'd run the idea past the community here before committing.  Please let me know if you have any objection or suggestion for a different code change. -------------- next part -------------- An HTML attachment was scrubbed... URL: