Code

Deriving Eq#148

Code

Open

janmasrovira wants to merge 2 commits intomainanoma/juvix-stdlib:mainfrom deriving-eqanoma/juvix-stdlib:deriving-eqCopy head branch name to clipboard

+14-49

Commits

Commits on Nov 28, 2024

• make Eq builtin

  janmasrovira

  committed
  e852097

• derive some Eq instances

  janmasrovira

  committed
  e9bf3dd