Code

Make Option covariant#190

Code

Merged

dbrattli merged 10 commits intomaindbrattli/Expression:mainfrom

option-covariancedbrattli/Expression:option-covarianceCopy head branch name to clipboard

Sep 17, 2024

Commits

Commits on Jan 15, 2024

• Make Option covariant

  dbrattli

  committed
  0a6b9a3

  Copy full SHA for 0a6b9a3

Commits on Jan 16, 2024

• Merge branch 'main' into option-covariance

  dbrattli

  committed
  0d2bdcd

  Copy full SHA for 0d2bdcd

• Use a separate covariant out type

  dbrattli

  committed
  ee3d2b8

  Copy full SHA for ee3d2b8

Commits on Jan 20, 2024

• Merge branch 'main' into option-covariance

  dbrattli

  authored
  e841c76

  Copy full SHA for e841c76

Commits on Jan 21, 2024

• Merge branch 'main' into option-covariance

  dbrattli

  authored
  c792668

  Copy full SHA for c792668

Commits on Jan 30, 2024

• Merge branch 'main' into option-covariance

  dbrattli

  authored
  2cb8945

  Copy full SHA for 2cb8945

Commits on May 15, 2024

• Merge branch 'main' into option-covariance

  dbrattli

  authored
  24c9909

  Copy full SHA for 24c9909

Commits on May 16, 2024

• Fix typing issues

  dbrattli

  committed
  4e1c698

  Copy full SHA for 4e1c698

Commits on Aug 30, 2024

• Merge branch 'main' into option-covariance

  dbrattli

  authored
  dcca1e7

  Copy full SHA for dcca1e7

Commits on Sep 17, 2024

• Fixed Result covariance

  dbrattli

  committed
  62321e0

  Copy full SHA for 62321e0