Code

Mk refactor#166

Code

Draft

janmasrovira wants to merge 8 commits intomainanoma/juvix-stdlib:mainfrom mk-refactoranoma/juvix-stdlib:mk-refactorCopy head branch name to clipboard

+371-332

Commits

Commits on Feb 18, 2025

• refactor mkX

  janmasrovira

  committed
  05caeb0

  Copy full SHA for 05caeb0

Commits on Feb 19, 2025

• update deps

  janmasrovira

  committed
  b25f5a6

  Copy full SHA for b25f5a6

• format

  janmasrovira

  committed
  c97e341

  Copy full SHA for c97e341

Commits on Feb 21, 2025

• move syntax operator , definition

  janmasrovira

  committed
  6c7855d

  Copy full SHA for 6c7855d

Commits on Feb 24, 2025

• follow Type.mk pattern

  janmasrovira

  committed
  2816716

  Copy full SHA for 2816716

Commits on Feb 25, 2025

• hide mk from DivMod

  janmasrovira

  committed
  cb9f27e

  Copy full SHA for cb9f27e

• update Package version

  janmasrovira

  committed
  438d9a8

  Copy full SHA for 438d9a8

• fix Package version

  janmasrovira

  committed
  4e98315

  Copy full SHA for 4e98315