I wrote a post about the clock language I played with at Recurse Center called:
\[ \exists - \backepsilon \]
https://www.fractalkitty.com/there-is-3-such-that/
This is just a prototype that the main purpose was for me to explore how I would define Types and how they interact.
This is a purely visual language. I'd like to think about what this would be with ears only at some point in time. I do think it is a good candidate for a folk computer interface or analog toy.





I really enjoyed this RC