ah, thanks.(i'm curious. i'm no expert, but that's not very dependent then, is it? looking at the wikipedia article, it seems to be similar to dependent ml (only) which "Some computer scientists do not consider [...] to be dependent"http://en.wikipedia.org/wiki/Dependent_ML ? (genuinely curious here - don't have a cs degree, so am only going by what i read))
Array{Float64,3}