Little help with length bounded lists (Addendum)

23 Oct
2007
23 Oct
'07
11:12 a.m.
PS. This program requires: {-# OPTIONS -fglasgow-exts -fallow-undecidable-instances #-} PPS. Sorry for the extra mail
6471
Age (days ago)
6471
Last active (days ago)
0 comments
1 participants
participants (1)
-
Philip K.F. Hölzenspies