HSR talk: switch slides

zfoh · Dec 2, 2016 · 8d84b08 · 8d84b08
1 parent be5901e
commit 8d84b08
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/meetups/2016-12-01-Haskell_guest_lecture_at_HSR/haskell_and_fp_in_industry.md b/meetups/2016-12-01-Haskell_guest_lecture_at_HSR/haskell_and_fp_in_industry.md
@@ -3,6 +3,14 @@
 % December 1st, 2016
 
 
+
+Goals of this talk
+==================
+
+- explain why I use Haskell and formal methods in my professional career
+- convey some of the lessons I learned
+- provide pointers for further learning
+
 About me
 ========
 
@@ -15,14 +23,6 @@ About me
 - Haskell and formal methods expert at Digital Asset (2016 -)
 
 
-Goals of this talk
-==================
-
-- explain why I use Haskell and formal methods in my professional career
-- convey some of the lessons I learned
-- provide pointers for further learning
-
-
 Commercial Haskell development - my view on it
 ==============================================