problems missing

[telephon]

There are many problems that are missing which were never part of the forked repository (but there are also others that are not there!). With a bit of analysis, maybe the differences could be extracted from the archive of the original website.

comparison:

ELM

{ description = "Prove commutativity for conjunction."
  , notes =
        [ Html.p []
            [ Html.text "You may have already encountered commutativity when learning algebra. It’s usually given as a basic law. Here you will prove it using the rules you’ve been given."
            ]
        , Html.p []
            [ Html.text "After this problem, commutativity for conjunction will be added to your set of rules."
            ]
        ]
  , start = Binary Conjunction (Atom VarA) (Atom VarB)
  , finish = Binary Conjunction (Atom VarB) (Atom VarA)
  , rules =
        [ implosionRule
        , identityForConjunctionRule
        ]
  , scratch = Symbol.VarA :: Symbol.VarB :: symbols1
  }

  JAVACRIPT

var _ezacharias$sftm$Rules$commutativityForMultiplicationRule={name:'Commutativity for multiplication',isSymmetric:true,antecedents:{ctor:'[]'},left:A3(_ezacharias$sftm$Term$Binary,_ezacharias$sftm$Term$Multiplication,_ezacharias$sftm$Term$Atom(_ezacharias$sftm$Term$MetaVar(_ezacharias$sftm$Term$MetaAlgA)),_ezacharias$sftm$Term$Atom(_ezacharias$sftm$Term$MetaVar(_ezacharias$sftm$Term$MetaAlgB))),right:A3(_ezacharias$sftm$Term$Binary,_ezacharias$sftm$Term$Multiplication,_ezacharias$sftm$Term$Atom(_ezacharias$sftm$Term$MetaVar(_ezacharias$sftm$Term$MetaAlgB)),_ezacharias$sftm$Term$Atom(_ezacharias$sftm$Term$MetaVar(_ezacharias$sftm$Term$MetaAlgA)))};

UNKNOWN_ELM

var _ezacharias$sftm$Rules$contradictionRule={name:'Contradiction',isSymmetric:false,antecedents:{ctor:'::',_0:A2(_ezacharias$sftm$Term$Unary,_ezacharias$sftm$Term$Not,_ezacharias$sftm$Term$Atom(_ezacharias$sftm$Term$MetaVar(_ezacharias$sftm$Term$MetaA))),_1:{ctor:'[]'}},left:_ezacharias$sftm$Term$Atom(_ezacharias$sftm$Term$MetaVar(_ezacharias$sftm$Term$MetaA)),right:_ezacharias$sftm$Term$Atom(_ezacharias$sftm$Term$Bot)}

there is also a list (search for _ezacharias$sftm$Rules$commutativityForMultiplicationRule e.g.) with a lot of formulas which are given in the system at a given point.

[capital-G]

Indeed there the problems are completely different - but it is manageable to re-reverse-engineer them - what would be your preferred way of combining the states of both sites?

[telephon]

I have the impression that the archived web site is the polished version that has a more carefully designed learning curve. I'd tend to append the current problems to these, also because they seem to have a more logical emphasis.

[capital-G]

At least the archived website has copyright notice 2018 where the resurrected version has copyright 2017.

Should we scrape all existing problems and replace them with those from the 2018 version?

[telephon]

The problems from 2017 are very well posed, too. They are a bit like a different seminar with the same means. We shouldn't throw them away.

Is there a simple way of keeping them both? On the long run, one could think about merging some of the introductory explanations.

Btw. the resurrected version has functionality that wasn't in the website, but hope suppose it will still work with the new data.