Code

Add revisions to README#1440

Code

Merged

paulcadman merged 6 commits intomainanoma/juvix:mainfrom READMEanoma/juvix:READMECopy head branch name to clipboardAug 6, 2022

+112-35

Commits

Commits on Aug 5, 2022

• Add revisions to README

  jonaprieto

  committed
  29de490

  Copy full SHA for 29de490

• Make pre-commit happy

  jonaprieto

  committed
  e570c71

  Copy full SHA for e570c71

• Fix more typos

  jonaprieto

  committed
  a71f31e

  Copy full SHA for a71f31e

• Fix typos

  jonaprieto

  committed
  879dd94

  Copy full SHA for 879dd94

• Minor

  jonaprieto

  committed
  467f3eb

  Copy full SHA for 467f3eb

• More

  jonaprieto

  committed
  25ddb20

  Copy full SHA for 25ddb20