From 7b599e6ca101bf787f55560feb0d49367b087f7a Mon Sep 17 00:00:00 2001 From: zfnmxt Date: Mon, 17 Jun 2024 15:37:46 +0200 Subject: [PATCH] A bit more unicode. --- blog/2024-06-17-automap.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/blog/2024-06-17-automap.md b/blog/2024-06-17-automap.md index 300eb58..4b42380 100644 --- a/blog/2024-06-17-automap.md +++ b/blog/2024-06-17-automap.md @@ -570,7 +570,7 @@ start-to-finish for each top-level definition in a program: 3. The solution to the ILP tells the compiler how to insert the minimal number of `map`s and `rep`s to make the program rank-correct. For example, if `Mᵢ = 3` and `Rᵢ = 0` for an application `f x`, then transform the application by - inserting three `map`s and no `rep`s: `f x |--> map (map (map f)) x`. + inserting three `map`s and no `rep`s: `f x ⟶ map (map (map f)) x`. 4. Type check the transformed program with all implicit `map`s and `rep`s made explicit using Futhark's normal type checker and continue with compilation as