Merge pull request #43 from gpad/master

Fix typo
mixu · Nov 18, 2016 · 369d0ed · 369d0ed
2 parents aa3d6d0 + f652a0a
commit 369d0ed
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).