Commits

Branch selector

 master

User selector

RossTate

Datepicker

All time

Commit History

Commits on Jan 24, 2020

• Add some missed rationales

  RossTate

  committed
  103eb72

  Copy full SHA for 103eb72

• Incorporate Adrian's subtyping-rationale feedback

  RossTate

  committed
  d1028bd

  Copy full SHA for d1028bd

Commits on Jan 23, 2020

• Add design rationale

  RossTate

  committed
  6c71a8a

  Copy full SHA for 6c71a8a

• Make handling of null more consistent

  RossTate

  committed
  52b759e

  Copy full SHA for 52b759e

• Fix typos

  RossTate

  committed
  095476f

  Copy full SHA for 095476f

Commits on Jan 21, 2020

• Reorder cast and instantiation attributes

  RossTate

  committed
  f96b1ec

  Copy full SHA for f96b1ec

Commits on Dec 13, 2019

• Fix bad grammar in Approach

  RossTate

  committed
  be8bb07

  Copy full SHA for be8bb07

Commits on Dec 3, 2019

• Note that fancy types can remove dynamic casts from closures

  RossTate

  committed
  4de02d9

  Copy full SHA for 4de02d9

• Add overview of looking forward

  RossTate

  committed
  e349ff8

  Copy full SHA for e349ff8

• Fix typo in TypedFun

  Show description for b5af64d
  

  RossTate

  and

  sampsyo

  authored
  b5af64d

  Copy full SHA for b5af64d

• Allow for more indexing modes

  RossTate

  committed
  6dd858d

  Copy full SHA for 6dd858d

Commits on Nov 28, 2019

• Remove unique

  Show description for 8bcec97
  RossTate

  committed
  8bcec97

  Copy full SHA for 8bcec97

• Add example of typed functional languages

  RossTate

  committed
  5a7fca4

  Copy full SHA for 5a7fca4

Commits on Nov 22, 2019

• Fix design for null

  Show description for 31f84de
  RossTate

  committed
  31f84de

  Copy full SHA for 31f84de

Commits on Nov 19, 2019

• Adjust equality

  Show description for 998f132
  RossTate

  committed
  998f132

  Copy full SHA for 998f132

Commits on Nov 18, 2019

• Propose preliminary GC MVP

  RossTate

  committed
  64b5a56

  Copy full SHA for 64b5a56