[Axiom-developer] Raising the bar (again)

[daly]

Given that a major goal is communication with the future computational
mathematician we need to spend some head-cycles trying to find better
ways to communicate. This talk goes to the fundamentals. 

 "A lot of the power of an idea lies in the form in which it is expressed"

It is vital that we make the strong connection between group theory
and Spad completely transparent. People need to have a presentation
that makes it easy to move between group theory and Spad.

Bret Victor: The Humane Representation of Thought
https://vimeo.com/115154289