• 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
Name
Last commit
Last update
..
dimacs.mll Loading commit data...
genequlin.ml Loading commit data...