Little victory lap down to the chocolate shop because the thing I've spent the week working on now works.
I'm working on a pattern-matching syntax and algorithm for mathematical expressions. Like an analogue of regular expressions, but for trees. I worked out the last few missing pieces while talking with someone at #eams2018 last week.
Ich win ein Berliner
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
Use \( and \) for inline LaTeX, and \[ and \] for display mode.