tree 5de81039dfdbaff96094478781c41a9010f121f8
parent e0cbaa50fa7e97a8b7404041a59caac47b3949a5
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1576603470 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1576603470 -0300

Easy way to allow Unicode characters in identifiers

For those that want to try it...