]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2af94b8) | patch
split precedence level of binders: \lambda has higher precedence than others
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Apr 2005 12:54:31 +0000 (12:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Apr 2005 12:54:31 +0000 (12:54 +0000)
commita611291b68a2f9a0c627de0cdabf8f7448136bcf
tree3aaae7e4b7c71b7590ff671a5972696e0951add0tree | snapshot
parent2af94b81b952606ff67804dbe2410d9b90080e1fcommit | diff
split precedence level of binders: \lambda has higher precedence than others
this is the resulting precedences scheme:
  lambda > apply > infix operators > binders
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
helm/ocaml/cic_disambiguation/doc/precedence.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.