Re: [isabelle] Multi-dimensional arrays



On Tue, 01 May 2012 08:06:24 +0200, Tobias Nipkow wrote:

> The simplest way to model an array
> is as a function  nat => 'a. 

[...]

> If you want all arrays in the same type you could use  nat list => 'a.

Indeed, this looks like it will do what I want admirably well. Thank you.

-- 
Aaron W. Hsu | arcfide at sacrideo.us | http://www.sacrideo.us
Programming is just another word for the lost art of thinking.






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.