Changes between Version 16 and Version 17 of Past/2012

Timestamp:

Oct 29, 2012, 1:05:55 AM (12 years ago)

Author:

Ben Lippmeier

Comment:

--

Past/2012

@@ -1 +1 @@
 = Past Meetings, 2012 =
+
+=== 18th October ===
+* Eric Willigers: Red-Black trees in Idris
+* Tim Docker: Haskell coding interactively with Hint 
+* Ben Lippmeier: Ott: Effective Tool Support for the Working Semanticis
 
 === 48: 20th September ===
@@ -5 +10 @@
 * Andrew Cowie : The web problem, and solving it in Haskell
 * Thomas Sewell : Calculating over loops using a tool that can't
-
 
 === 47: 16th August ===
@@ -17 +21 @@
 * Shane Stephens: [http://code.ouroborus.net/fp-syd/past/2012/2012-07-Stephens-HindemithII.pdf Hindemith in Haskell, Part II]
 
-
 === 45: 21st June ===
 *  Jed Wesley-Smith : A Brief and Incomplete History of FP @ Atlassian
@@ -24 +27 @@
 
 === 44: 17th May ===
- * Trevor `McDonell` : The Current status of Accelerate 
+ * Trevor !McDonell : The Current status of Accelerate 
  * Raphael Speyer : Unix programming in OCaml
  * Tim Docker : Abstract Composable GUIs