Code

Qualified Nat and Int modules#153

Code

Open

lukaszcz wants to merge 7 commits intomainanoma/juvix-stdlib:mainfrom qualified-modulesanoma/juvix-stdlib:qualified-modulesCopy head branch name to clipboard

+109-140

Commits

Commits on Nov 26, 2024

• make Eq builtin

  janmasrovira

  committed
  2adb9df

• derive some Eq instances

  janmasrovira

  committed
  d5ea0a5

• derive some Ord instances

  janmasrovira

  committed
  09c0bb7

• move Ordering to its own module

  janmasrovira

  committed
  9534bd2

Commits on Nov 29, 2024

• format

  janmasrovira

  committed
  fde9ac2

• more pragmas

  lukaszcz

  committed
  0c45672

Commits on Dec 2, 2024

• Add qualified Nat and Int modules

  lukaszcz

  committed
  561425e