Code

Add Typelevel Summit 2023 event#463

Code

Merged

jducoeur merged 4 commits intodevelopmenttypelevel/typelevel.github.com:developmentfrom summit-2023typelevel/typelevel.github.com:summit-2023Copy head branch name to clipboardOct 2, 2023

+32

Commits

Commits on Sep 22, 2023

• Add initial 2023 Summit details

  valencik

  committed
  6d699db

  Copy full SHA for 6d699db

Commits on Oct 2, 2023

• Don't specify recorded talks

  Show description for 0a762ca
  

  valencik

  and

  jducoeur

  authored
  0a762ca

  Copy full SHA for 0a762ca

• Fix year

  Show description for 9149bfe
  

  valencik

  and

  jducoeur

  authored
  9149bfe

  Copy full SHA for 9149bfe

• Tweak about section wording

  valencik

  committed
  9adbf32

  Copy full SHA for 9adbf32