Code

Review essential tutorial content#135

Code

Merged

lukaszcz merged 15 commits intomainanoma/juvix-docs:mainfrom jonathan/proof-readanoma/juvix-docs:jonathan/proof-readCopy head branch name to clipboardJan 14, 2025

+400-126

Commits

Commits on Jan 7, 2025

• read until Local definitions

  

  jonaprieto

  authored and

  lukaszcz

  committed
  57df436

  Copy full SHA for 57df436

• Read until lists and iteration

  

  jonaprieto

  authored and

  lukaszcz

  committed
  56b4efe

  Copy full SHA for 56b4efe

• read until The dot product

  

  jonaprieto

  authored and

  lukaszcz

  committed
  bda7152

  Copy full SHA for bda7152

• Read a bit more, started traits

  

  jonaprieto

  authored and

  lukaszcz

  committed
  fdad179

  Copy full SHA for fdad179

• Improve phrasing

  

  jonaprieto

  authored and

  lukaszcz

  committed
  3cb8a25

  Copy full SHA for 3cb8a25

• fix formatting and some typos

  

  jonaprieto

  authored and

  lukaszcz

  committed
  509c687

  Copy full SHA for 509c687

• increase boost

  

  jonaprieto

  authored and

  lukaszcz

  committed
  260b32b

  Copy full SHA for 260b32b

Commits on Jan 13, 2025

• Update docs/tutorials/essential.juvix.md

  Show description for 3cc8588
  

  jonaprieto

  and

  lukaszcz

  authored
  3cc8588

  Copy full SHA for 3cc8588

• Update docs/tutorials/essential.juvix.md

  Show description for 8211d23
  

  jonaprieto

  and

  lukaszcz

  authored
  8211d23

  Copy full SHA for 8211d23

• Update docs/tutorials/essential.juvix.md

  Show description for 40ba52c
  

  jonaprieto

  and

  lukaszcz

  authored
  40ba52c

  Copy full SHA for 40ba52c

• Update docs/tutorials/essential.juvix.md

  jonaprieto

  authored
  001df9e

  Copy full SHA for 001df9e

• Update docs/tutorials/essential.juvix.md

  Show description for 6d742fd
  

  jonaprieto

  and

  lukaszcz

  authored
  6d742fd

  Copy full SHA for 6d742fd

• Refactor and enhance documentation in essential.juvix.md

  Show description for 0bba9c5
  

  jonaprieto

  and

  lukaszcz

  committed
  0bba9c5

  Copy full SHA for 0bba9c5

Commits on Jan 14, 2025

• minor wording changes

  lukaszcz

  committed
  a3ebafd

  Copy full SHA for a3ebafd

• reformat 'Common techniques'

  lukaszcz

  committed
  2735f33

  Copy full SHA for 2735f33