Code

Uptage index.md to index.juvix.md#105

Code

Merged

jonaprieto merged 2 commits intomainanoma/juvix-docs:mainfrom index-updateanoma/juvix-docs:index-updateCopy head branch name to clipboardDec 1, 2023

+181-111

Commits

Commits on Dec 1, 2023

• Uptage index.md to index.juvix.md

  Show description for 9300769
  agureev

  committed
  9300769

  Copy full SHA for 9300769

• Fix typechecking

  jonaprieto

  committed
  a090d80

  Copy full SHA for a090d80