Skip to content

Details

*** PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY ***

Let's take some time to look at projects we've been working on, or trying to work on, or thinking about working on.

I'll present OTTer, an OTT-style attempt to move away from the J eliminator of equality to allow more sorts of things to be equal, in whatever state it happens to be in at the time.

Bring your own project!

You may also like