Changes between Version 26 and Version 27 of WikiStart


Ignore:
Timestamp:
Apr 28, 2011, 10:07:42 AM (13 years ago)
Author:
Erik de Castro Lopo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v26 v27  
    2323 * Erik de Castro Lopo: Wai, Warp and http-enumerator : OMFG, the types, they hurt my eyes!
    2424 * Ben Lippmeier, Hacking Data Parallel Haskell
    25  * Speaker 3, Talk title (if known)
    26  * Speaker 4, Talk title (if known)
     25 * Tom Sewell, Theoretical Theorem Proving (longer talk).
    2726
    2827=== 16th June ===
    2928 * Eric Willigers, Type Systems in Theorem Provers
    3029 * Raphael Speyer, !JoCaml
    31  * Eric Torreborre, specs2: go functional! (40 mins)
     30 * Dominic Verity, Category Theory part II (longer talk).
    3231
    3332=== 21st July ===
    3433 * Shane Stephens
    3534 * Speaker 2, Talk title (if known)
     35 * Eric Torreborre, specs2: go functional! (40 mins)
     36
     37
     38=== 18th August ===
     39 * Speaker 1, Talk title (if known)
     40 * Speaker 2, Talk title (if known)
    3641 * Speaker 3, Talk title (if known)
    3742 * Speaker 4, Talk title (if known)
    38