Code

Allow higher-ranked types#3

Code

Merged

ichistmeinname merged 3 commits intoichistmeinname:masterichistmeinname/free-theorems:masterfrom alexfmpe:higher-rankedalexfmpe/free-theorems:higher-rankedCopy head branch name to clipboardJan 30, 2023

Commits

Commits on Jan 7, 2023

• Allow higher-ranked types

  alexfmpe

  committed
  803babc

  Copy full SHA for 803babc

Commits on Jan 28, 2023

• Merge branch 'master' into higher-ranked

  alexfmpe

  committed
  6a2ea86

  Copy full SHA for 6a2ea86

Commits on Jan 29, 2023

• Merge branch 'master' into higher-ranked

  alexfmpe

  committed
  e9f3922

  Copy full SHA for e9f3922