Skip to content

Fix :hash REPL command to α-normalize input#2420

Merged
Gabriella439 merged 1 commit intomasterfrom
gabriella/fix_hash_repl_command
May 30, 2022
Merged

Fix :hash REPL command to α-normalize input#2420
Gabriella439 merged 1 commit intomasterfrom
gabriella/fix_hash_repl_command

Commits

Commits on May 29, 2022