Changes between Version 80 and Version 81 of WikiStart


Ignore:
Timestamp:
Nov 27, 2011, 10:30:31 PM (9 years ago)
Author:
Erik de Castro Lopo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v80 v81  
    2929* [http://fp-syd.ouroborus.net/report/13 Tasks]
    3030
    31 === 17th November ===
    32  * Sean Seefried, Generic Matrix Multiplication (lightning talk)
    33  * Richard Garner, Dependent Types (longer talk)
     31=== 16th February ===
    3432 * Ben Sinclair, A certified adder in Agda
    35 
    36 === 16th February ===
    37  * Eric Willigers
    3833 * Raphael Speyer
    3934 * Eric Torreborre, The Essence of the Iterator Pattern
    40  * Speaker 4, Talk title (if known)
     35 * Brian McKenna, Roy - a function language that compiles to Javascript
     36
     37=== 15th March ====
     38 * Eric Willigers
     39 * Vacant slot
     40 * Vacant slot
     41 * Vacant slot