Closed axman6 closed 7 years ago
Could you please revert forall
back to ∀
? It's a keyword and not an identifier. Also, it's standard mathematical notation. I think it keeps type signatures more compact and readable.
Otherwise, the PR looks good.
Done
Thanks for contributing to the package!
::
's have not been replaced as their meaning is clear (though makes grepping harder)I believe I've caught all uses of non-ascii identifiers, but it's possible I missed some as the search was manual. See discussion in #58