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.

  • 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