I would be very interested to see a perl6 implementation of Leibniz as it seems like perl6 has many features that would lend it to this context.

• It has a full language specification, of which there are implementations.
• It has full UTF8 compatibility so is great for handling scientific/mathematical notation non-standard symbols - (to the point where you can declare an emoji as an operator i...