From 210f303e53831f346ba914bbc4cdb326be7a8ece Mon Sep 17 00:00:00 2001 From: henz Date: Sat, 27 Jul 2024 10:18:05 +0800 Subject: [PATCH] fixes #1048 --- xml/chapter3/section5/subsection2.xml | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/xml/chapter3/section5/subsection2.xml b/xml/chapter3/section5/subsection2.xml index cde94314b..26eb77fde 100644 --- a/xml/chapter3/section5/subsection2.xml +++ b/xml/chapter3/section5/subsection2.xml @@ -1344,7 +1344,16 @@ const sin_series = pair(0, () => integrate_series( mul_series power series represented as streams of coefficients as in exercise, adding series is implemented - by add-streams. Complete the declaration of + by + + + add-streams. + + + add_streams. + + + Complete the declaration of the following procedure