From 1288790aac9760a14ed16c0948fb6b7ed98d7f81 Mon Sep 17 00:00:00 2001 From: Dan Zheng Date: Sat, 9 Jan 2021 09:25:58 -0500 Subject: [PATCH] Consistently spell "n-D" as "nD". --- examples/tutorial.dx | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/tutorial.dx b/examples/tutorial.dx index 2e73be438..2c5b54042 100644 --- a/examples/tutorial.dx +++ b/examples/tutorial.dx @@ -126,7 +126,7 @@ x4 = for i:(Fin 5). for j:(Fin 10). (ordinal i) + (ordinal j) ' Many algorithms in Dex come down to being able to pack and unpack these indices. For example, we have seen that it is easy to sum over one dimension - of a 2-D array. However, if we have a 1D array indexed by a pair, we can + of a 2D array. However, if we have a 1D array indexed by a pair, we can easily turn it into a 2D array using two `for` constructors. x3 = for i. for j. x2.(i, j) @@ -483,4 +483,4 @@ prob1 = for i : (Fin 1000). -- Nothing -> mempty -- def remMaybe (x: n => Maybe a) : List a = --- concat $ for i. maybeList x.i \ No newline at end of file +-- concat $ for i. maybeList x.i