Fix typo

mixu · Nov 17, 2016 · f652a0a · f652a0a
1 parent aa3d6d0
commit f652a0a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/input/5_eventual.md b/input/5_eventual.md
@@ -391,7 +391,7 @@ If, then we can express our computation in a manner in which it is possible to t
 Note that this requires a different kind of language, since these inferences are hard to make for traditional programming languages where sequence, selection and iteration are at the core. Which is why the Bloom language was designed.
 
 
-## What is non-mononicity good for?
+## What is non-monotonicity good for?
 
 The difference between monotonicity and non-monotonicity is interesting. For example, adding two numbers is monotonic, but calculating an aggregation over two nodes containing numbers is not. What's the difference? One of these is a computation (adding two numbers), while the other is an assertion (calculating an aggregate).