From 27211d40fe08fd7ac44ac988ca6bbc10685f5550 Mon Sep 17 00:00:00 2001
From: Julian Ospald <jospald@fh-bielefeld.de>
Date: Thu, 16 Apr 2015 20:09:52 +0200
Subject: [PATCH] Haskell disallows bad programs

---
 VL1.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/VL1.tex b/VL1.tex
index d546e6f..876eff0 100644
--- a/VL1.tex
+++ b/VL1.tex
@@ -69,6 +69,7 @@
 A Haskeller might claim: haskell...
 \begin{itemize}[<+->]
 \item eliminates certain classes of bugs
+\item not only disallows bad programs, but also defines what constitutes a bad program
 \item makes it easy to reason about code
 \item decreases the bus-factor
 \item makes it possible to apply huge changes to large programs without worrying about the implicit state machine