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 last week.

Sign in to participate in the conversation
Mathstodon

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.