Code

Nat builtins#26

Code

Merged

jonaprieto merged 2 commits intomainanoma/juvix-stdlib:mainfrom nat-builtinsanoma/juvix-stdlib:nat-builtinsCopy head branch name to clipboardJan 5, 2023

+38-15

Commits

Commits on Jan 5, 2023

• additional Nat operations

  

  lukaszcz

  authored and

  jonaprieto

  committed
  a612cfe

• more Nat operations

  

  lukaszcz

  authored and

  jonaprieto

  committed
  fb902ec