Code

feat: Generic function definitions#618

Code

Merged

mark-koch merged 4 commits intomainCQCL/guppylang:mainfrom feat/generic-defsCQCL/guppylang:feat/generic-defsCopy head branch name to clipboardNov 14, 2024

+293-61

Commits

Commits on Nov 4, 2024

• feat: Generic function definitions

  mark-koch

  committed
  263d527

  Copy full SHA for 263d527

Commits on Nov 14, 2024

• Merge remote-tracking branch 'origin/main' into feat/generic-defs

  mark-koch

  committed
  64b425c

  Copy full SHA for 64b425c

• Update diagnostics

  mark-koch

  committed
  8c4f4d1

  Copy full SHA for 8c4f4d1

• Add nat call and recurse tests

  mark-koch

  committed
  5efa146

  Copy full SHA for 5efa146