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