I've spent my #ucu #strike days working on this toy language for computing with dates. It can finally work out MathsJam dates! It's approximately as efficient as Peano arithmetic 😬