Lambdaheads: Unterschied zwischen den Versionen

@@ Zeile 21: / Zeile 21: @@
 == nächster regulärer Termin ==
-Termin: <strike>Mi, '''2014-06-11'''</strike> <strong>Montag</strong>, '''2014-06-09''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]
+Termin: <strong>Mittwoch</strong>, '''2014-07-09''' ab 19:30 Uhr in der Bibliothek [[Lage|im Metalab]]
 === Programm ===
-* [http://cryptol.net/ Cryptol] a language for cryptography released by Galois.inc
+* Monads: a presentation of the Blogpost by Dan Piponi
-* Monads an attempt à la Dan Piponi
 === Teilnehmer ===
@@ Zeile 75: / Zeile 74: @@
 = Frühere Events =
+=== 2014-06-09 ===
+* [http://cryptol.net/ Cryptol] a language for cryptography released by Galois.inc
 == 2014-05-14 ==