From 31384d641cc4de93032132ae1b2756a03f2ff387 Mon Sep 17 00:00:00 2001
From: jim
Date: Thu, 19 Mar 2015 18:51:48 -0400
Subject: [PATCH] fix formatting of `1`
---
exercises/assignment7.mdwn | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/exercises/assignment7.mdwn b/exercises/assignment7.mdwn
index 22152fe3..3d216293 100644
--- a/exercises/assignment7.mdwn
+++ b/exercises/assignment7.mdwn
@@ -76,7 +76,7 @@ as a function from a type to a type. Call this type function M, and let P, Q, R,
Recall that a monad requires a singleton function `mid : P-> MP`, and a
composition operator `>=> : (P->MQ) -> (Q->MR) -> (P->MR)`. The type for
the composition operator stated here corrects a typo in the class handout.
-Also, in the handout we called `mid` **1**. But now we've decided that `mid`
+Also, in the handout we called `mid` `ð`. But now we've decided that `mid`
is better. (Think of it as "m" plus "identity", not as the start of "midway".)
We will also move freely back and forth between using `>=>` and using `<=<` (aka `mcomp`), which
--
2.11.0