I'm having a nice evening looking at the tutorials for @UsePenrose - penrose.gitbook.io/penrose/
It makes a lot more sense than last time I looked at it!
In reply to @christianp
@UsePenrose I think I'm starting to get my head round how @UsePenrose works. Here's something like a family tree 🤷
I wonder if you can do any logic in the 'where' clauses; I've felt like I want some NOT and OR ops a few times
