getindex.(a,1) should do what you want here. Unfortunately I don’t think there is a way to do this with []
9 Likes
getindex.(a,1) should do what you want here. Unfortunately I don’t think there is a way to do this with []