clara

2021-11-01T18:44:11.037600Z

[:not [Thing]] means “no Thing exists”. I don’t see any reason to need [:not [:exists ...]] - it would mean the same thing, but it doesn’t work via the compiler

2021-11-01T18:44:54.038100Z

I think the better solution in the compiler at this point would be to just fail on that case rather than try to implement it more than likely

2021-11-01T18:45:10.038400Z

You cannot bind to [:not ...]