Mathaid

This is another mathematics project, in which the same notation from Mimolok will be used to produce a guide to algebra for people who need such things. At the time of writing this, Mimolok had hit a temporary hurdle in the development of its mathematical system. Tristan Miller learned an interesting and valuable lesson: the entirety of mathematics will not simply grow from an arbitrary set of axioms. To grow the mathematical tree over the walls of the modular garden, some care has to be taken about which axioms to inject when. So the challenge is to find combinations of axioms and notation that will take us a long way, without being cumbersome, while exposing the interesting features and symmetries that exist in this yet-to-be-explored shadow-tree of mathematics.

Furthermore, Mimolok in its proposed form is an enigma. Even if it is decoded, it is not terribly useful for the person who just wants to learn something about mathematics. Mathaid is to be as straightforward as possible, and can sidestep the higher-falootin' issues Mimolok is currently plagued with.