This looks genuinely awesome! I've been thinking about how to do good property based testing on UIs, and this elegantly solves that problem — I love the language they've designed here. It really feels like model checking or something.

▲

owickstrom 6 hours ago | parent [-]

Thanks, glad you like it! Do you mean the temporal logic aspect of it?

▲

logicprog 5 hours ago | parent [-]

Yeah, the temporal logic aspect of it is exactly what I was referring to :)

	▲	owickstrom 5 hours ago \| parent [-]
		Cool. I think that is a very neat way of expressing properties of UIs (and stateful systems more generally) that works out nicely in testing. There are some gotchas related to the finiteness of testing, but it's manageable.