-
Notifications
You must be signed in to change notification settings - Fork 211
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
dhall cli: alpha normalization #853
Comments
I agree! I've also been meaning to add this for another reason: we could enable Unicode identifiers and optionally α-normalize expressions when auditing them to bypass Unicode obfuscation attempts |
Gabriella439
added a commit
that referenced
this issue
Mar 15, 2019
Fixes #853 ... as suggested by @singpolyma
Pull request up here: #855 |
Gabriella439
added a commit
that referenced
this issue
Mar 16, 2019
Fixes #853 ... as suggested by @singpolyma
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Would be great if there were a
dhall normalize --including-alpha
or similar that would completely normalize an expression -- trying to debug semantic hashes, but the hash is of encoded alpha-normalized expression and the only output I can get it encoded non-alpha-normalized.The text was updated successfully, but these errors were encountered: