Now that the rot feature is implemented, it's time to apply all our efforts toward new-domain. The first step is to bring it up to date, and actually hook it up to running redtt code.
[x] merge master into new-domain
[x] replace Contextual,Unify,Elaborator,Refiner with New* versions in the frontend
Now that the
rotfeature is implemented, it's time to apply all our efforts towardnew-domain. The first step is to bring it up to date, and actually hook it up to running redtt code.masterintonew-domainContextual,Unify,Elaborator,RefinerwithNew*versions in the frontend@favonia