Code

fix new signature for InCon#230

Code

Merged

mattpolzin merged 3 commits intomainidris-community/idris2-lsp:mainfrom update-with-fcidris-community/idris2-lsp:update-with-fcCopy head branch name to clipboardNov 8, 2024

+165-21

Commits

Commits on Nov 7, 2024

• fix new signature for InCon

  andrevidela

  committed
  aa9a016

Commits on Nov 8, 2024

• Trigger Build

  andrevidela

  committed
  a09f4a1

• update Idris2 dependency

  mattpolzin

  committed
  38df36e