Which language

Uses multi-dimensional tuples as the base type(like LISP lists)?
* multi-dimensional tuples is the one-size-fits-all datatype that is like multi-dimensional array where each cell can have any type, even containing sub-arrays.

Uses multi-dimensional tuples as the base type(like LISP lists)?

What? Cons takes two arguments - it is 2d.

* multi-dimensional tuples is the one-size-fits-all datatype that is like multi-dimensional array where each cell can have any type, even containing sub-arrays.

You can do that in agda easily, although it is not a primitive type (why would it be after all?)