Changes between Version 303 and Version 304 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v303 v304  
    3131
    3232
    33 === 116: 24th July ===
    34 
    35 * Geoffrey Huntley: Watch me format my wife's computer.
    36 * Amos Robinson: Program-carrying Proofs in Coq: using tactics for dependently typed programming.
    37 
    38 === 117: 28th August ===
    39 
    40 * Sam Roberton: Reflex-FRP in practice.
    41 * Andrae Muys: Intermediate level DAML development.
    42 
    43 === 118: 25th September ===
    44 
    45 * Michael Sproul: CakeML for the working programmer.
    46 * Erik de Castro Lopo: Haskell with PostgreSQL
    47 
    4833=== 119: 23rd October ===
    4934