3 ms·
https://grugbrain.dev/#grug-on-expression-complexity https://grugbrain.dev/#grug-on-expression-complexity i skipped off the `space` in `space_gt_zero` because
by dijksterhuis 2y ago
https://grugbrain.dev/#grug-on-expression-complexity https://grugbrain.dev/#grug-on-expression-complexity
i skipped off the `space` in `space_gt_zero` because i was on my phone and couldn’t be bothered to type it out all the way each time.
don’t read too much into it. it was just laziness while brining up an existing concept.