From da2de809a980a498b79a07224bd3ddc6f4e45ce6 Mon Sep 17 00:00:00 2001 From: Martin Henz Date: Fri, 2 Aug 2024 07:38:05 +0800 Subject: [PATCH] fixes #1048 (#1049) --- 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