See this session of Hitchhiker's Guide to the Glamorous World has Konrad Hinsen giving a tour of Leibniz, a Digital Scientific Notation built on top of Glamorous Toolkit. Leibniz interface is a combination of a model, a set of annotations that transform knowledge management pages into scientific notations, and several inspector extensions. The tour shows not only how the environment can be used for expressing scientific notations, but also how one can debug a notation and how one can investigate the engine itself.
YOUTUBE f10NpsMmbis Hitchhiker #17: Using Glamorous Toolkit for Scientific Notation - Konrad Hinsen & Tudor Girba
4:40 ... a computational medium is a substrate where you write things where you can write in the sense of text or pictures or whatever else to record and communicate and collaborate on the science and have the tools organized around this medium and the medium remains at all points accessible to human readers.
.
I like how he has used GT features to get his own work correct. The operator hierarchy graph, for example, allows him to develop a rich type system and to talk about it without leaving GT. (27:30) Nice interaction between Konrad and Tudor. Tudor sees Konrad take advantage of the latitude that Tudor has intentionally left in GT for others to do things that he hadn't imagined. (37:30) Tudor: your use case is so far from what we were thinking ... Konrad: I just thought I would see how far I could go ... its just a prototype. (56:30) Tudor: this thing that you have here is this ... this ... this ...this... (1:03:30)