Skip to content
Snippets Groups Projects

Disambiguate Haskell-style notations for partially applied operators

Merged Robbert Krebbers requested to merge robbert/issue42 into master
Loading