• Robbert Krebbers's avatar
    Make `fmap` left associative. · 12e701ca
    Robbert Krebbers authored
    This follows the associativity in Haskell. So, something like
    
      f <$> g <$> h
    
    Is now parsed as:
    
      (f <$> g) <$> h
    
    Since the functor is a generalized form of function application, this also now
    also corresponds with the associativity of function application, which is also
    left associative.
    12e701ca
Name
Last commit
Last update
build Loading commit data...
theories Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
CONTRIBUTING.md Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
Makefile.coq.local Loading commit data...
README.md Loading commit data...
_CoqProject Loading commit data...
awk.Makefile Loading commit data...
descr Loading commit data...
opam Loading commit data...