mark.warren
2019-7-31 08:38:57
I feel like I should know this, is there an easy way to get the index in a for/sum
?
mark.warren
2019-7-31 08:41:12
It’s OK, I think I can use in-naturals
stchang
2019-7-31 16:21:50
@mark.warren another way to get the index when using for
forms is to wrap your sequence with in-indexed
luosha865
2019-8-1 03:18:19
@luosha865 has joined the channel
mark.warren
2019-8-1 06:32:27
@stchang Thanks for that, very useful.