Changes between Version 14 and Version 15 of Past/2017


Ignore:
Timestamp:
Oct 5, 2017, 3:18:27 AM (2 months ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Past/2017

    v14 v15  
    3232* Rob Clifton-Everest: [http://code.ouroborus.net/fp-syd/past/2017/2017-05-Everest-Arrays.pdf Expressing Array Programs.]
    3333* Johan Tibell: [http://code.ouroborus.net/fp-syd/past/2017/2017-05-Tibell-Unboxing.pdf Unboxing sum types.]
    34 * Tim !McGilchrist: Dependent typing, not just for vectors.
     34* Tim !McGilchrist: [http://code.ouroborus.net/fp-syd/past/2017/2017-05-DependentNotVector.pdf Dependent typing, not just for vectors.]
    3535
    3636=== 95: 28th June ===