Changes between Version 302 and Version 303 of WikiStart


Ignore:
Timestamp:
Oct 21, 2019, 2:30:38 AM (5 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v302 v303  
    3333=== 116: 24th July ===
    3434
    35 * Geoffrey Huntley
    36 * Amos Robinson
     35* Geoffrey Huntley: Watch me format my wife's computer.
     36* Amos Robinson: Program-carrying Proofs in Coq: using tactics for dependently typed programming.
    3737
    3838=== 117: 28th August ===
    3939
    40 * Sam Roberton
    41 * Andrae Muys
     40* Sam Roberton: Reflex-FRP in practice.
     41* Andrae Muys: Intermediate level DAML development.
    4242
    4343=== 118: 25th September ===
    4444
    45 * Michael Sproul
    46 * Erik de Castro Lopo
     45* Michael Sproul: CakeML for the working programmer.
     46* Erik de Castro Lopo: Haskell with PostgreSQL
    4747
    4848=== 119: 23rd October ===
    4949
    50 * Ben Lippmeier
    51 * (speaker needed)
     50* Ben Lippmeier: The Why3 theorem proving framework.
     51* Rongmin Lu: The differentiable curry and other misadventures in differentiable programming.
    5252
    5353=== 120: 27th November ===