leibniz-pharo

Leibniz github , github runtime library for Pharo. Work in progress, not very usable yet!

a scientific notation that can be processed by both humans and computers. A machine readable notation is necessarily a Formal Language and thus has a well-defined unambiguous syntax in addition to some useful level of well-defined semantics.