Open kahaaga opened 2 weeks ago
I don't know how to extract state space size for generators, so if this worked, it would just forward to collect
and use that. But if that's the case, shouldn't the user do the collect instead? Or just add the [ ]
?
It would be nice if the following worked: