On Wed, 03 Sep 2014 13:43:55 -0700, Per Bothner <p...@bothner.com> said: > ... > P is of the form (P_1 . . . P_k P_e ellipsis P_m+1 ... P_n) > where E is a proper list of n elements, the first > k of which match P_1 through P_k , respectively, whose > next m−k elements each match P_e, whose remaining > n−m elements match P_m+1 through P_n
> The phrase 'of the form (P_1 ... P_k P_e ellipsis P_m+1 ... P_n)' > doesn't really make sense since m and n come out of nowhere. In fact, m and n are defined by that phrase (with an implicit "where m and n are such that"); pretty usual practice in my view. ---Vassil. -- Vassil Nikolov | Васил Николов | <vniko...@pobox.com> "Be careful how you fix what you don't understand." (Brooks 2010, 185) _______________________________________________ Scheme-reports mailing list Scheme-reports@scheme-reports.org http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
