Changes between Version 19 and Version 20 of WikiStart


Ignore:
Timestamp:
Apr 27, 2011, 1:52:37 AM (14 years ago)
Author:
Erik de Castro Lopo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v19 v20  
    2121
    2222=== 19th May ===
    23  * Speaker 1, Talk title (if known)
     23 * Erik de Castro Lopo: Wai, Warp and http-enumerator : OMFG, the types hurt my eyes!
    2424 * Speaker 2, Talk title (if known)
    2525 * Speaker 3, Talk title (if known)
    … …  
    2828=== 16th June ===
    2929 * Eric Willigers, Type Systems in Theorem Provers
     30 * Speaker 2, Talk title (if known)
    3031 * Eric Torreborre, specs2: go functional! (40 mins)
    31  * Speaker 3, Talk title (if known)
    32  * Speaker 4, Talk title (if known)
    3332
    3433=== 21st July ===