Skip to content

GitLab

Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Switch branch/tag
Find file BlameHistoryPermalink
  • Andrei Paskevich's avatar
    Parser: admit anonymous binders · eaed0078
    Andrei Paskevich authored 
    In programs, we do not really care about unnamed typed variables,
and it is convenient to write ((fun s _ -> s) : int -> bool -> int)
in logical terms.
    eaed0078
parser.mly 30.7 KB