Code

Codef 4 macro#36

Code

Draft

Equilibris wants to merge 8 commits intocodef-3-deepThunkalexkeizer/QpfTypes:codef-3-deepThunkfrom codef-4-macroalexkeizer/QpfTypes:codef-4-macroCopy head branch name to clipboard

+686-31

Commits

Commits on Aug 8, 2024

• feat: add opaque sum for DeepThunk descent

  

  William Sørensen

  committed
  de0664d

• feat: add named function for DeepThunk injection

  

  William Sørensen

  committed
  9b29aa3

• feat: add basis for codef macro

  

  William Sørensen

  committed
  02fbbf2

• Merge branch 'codef-3-deepThunk' into codef-4-macro

  

  William Sørensen

  committed
  8749601

Commits on Aug 9, 2024

• feat: add support for functions with arguments

  

  William Sørensen

  committed
  9fc43f3

• refactor: extract inline matches into own functions for unification

  

  William Sørensen

  committed
  e366f25

• refactor: make logging more ideomatic

  

  William Sørensen

  committed
  c737ce7

Commits on Aug 14, 2024

• feat: add propper code-gen and support for implicits

  

  William Sørensen

  committed
  296e410