Try to merge ArgSim and MaxSim
kudkudak opened this issue · comments
Stanislaw Jastrzebski commented
While for now we abandon showing trivialization via model, in favour of clearer showing trivialization via extrinsic evaluation, it would be still nice to try to have clearly trivial model.
One idea would be to merge ArgSim and MaxSim. This requires #36