Mentions légales du service

Skip to content
  • Andrei Paskevich's avatar
    confine all notation handling inside Ident · 0fea401c
    Andrei Paskevich authored
    This commit removes all hard-coded "infix ..", "prefix ..",
    and "mixfix .." from the rest of the code, and handles the
    symbolic notation entirely inside Ident. It does not change
    the notation itself.
    0fea401c