Changes between Version 303 and Version 304 of WikiStart
- Timestamp:
- Oct 21, 2019, 2:30:56 AM (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v303 v304 31 31 32 32 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 PostgreSQL47 48 33 === 119: 23rd October === 49 34