From 1666d4c9858609dd1c32d7ab7aff976debe73cf7 Mon Sep 17 00:00:00 2001 From: jim Date: Mon, 23 Mar 2015 10:20:51 -0400 Subject: [PATCH] markup --- exercises/assignment7.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/exercises/assignment7.mdwn b/exercises/assignment7.mdwn index f26f5d83..029a7798 100644 --- a/exercises/assignment7.mdwn +++ b/exercises/assignment7.mdwn @@ -78,7 +78,7 @@ boxed types. Here, a "boxed type" is a type function with one unsaturated hole (which may have several occurrences, as in `(α,α) tree`). We can think of the box type as a function from a type to a type. -Recall that a monad requires a singleton function ⇧ (* mid *) : P-> P, and a +Recall that a monad requires a singleton function ⇧ (\* mid \*) : P-> P, and a composition operator like >=> : (P->Q) -> (Q->R) -> (P->R). As we said in the notes, we'll move freely back and forth between using `>=>` and using `<=<` (aka `mcomp`), which -- 2.11.0