Code

Nominal (abstract) types#4

Code

Open

garrigue wants to merge 11 commits intomasterocaml/RFCs:masterfrom nominal-typesocaml/RFCs:nominal-typesCopy head branch name to clipboard

+223

Commits

Commits on Feb 10, 2020

• Add notes from previous meetings

  

  lpw25

  authored and

  garrigue

  committed
  4d0275c

  Copy full SHA for 4d0275c

• Split out the research parts into their own repo

  

  lpw25

  authored and

  garrigue

  committed
  8a80be3

  Copy full SHA for 8a80be3

• Nominal (abstract) types

  garrigue

  committed
  2720ac8

  Copy full SHA for 2720ac8

• typo

  garrigue

  committed
  514dcff

  Copy full SHA for 514dcff

• layout

  garrigue

  committed
  4eb2478

  Copy full SHA for 4eb2478

• typos

  garrigue

  committed
  7748dae

  Copy full SHA for 7748dae

• typo

  garrigue

  committed
  dd4aeb3

  Copy full SHA for dd4aeb3

• now implemented

  garrigue

  committed
  fb83519

  Copy full SHA for fb83519

• typo

  garrigue

  committed
  2f25fae

  Copy full SHA for 2f25fae

Commits on Jul 11, 2020

• add PDF abstract

  garrigue

  committed
  f044353

  Copy full SHA for f044353

Commits on Jul 16, 2020

• typos

  garrigue

  committed
  5048c15

  Copy full SHA for 5048c15