Code

[ doc ] Improve docs for let and :=#3159

Code

Open

CodingCellist wants to merge 6 commits intoidris-lang:mainidris-lang/Idris2:mainfrom CodingCellist:let-doc-refactorCodingCellist/Idris2:let-doc-refactorCopy head branch name to clipboard

+82-20

Commits

Commits on Dec 7, 2023

• [ doc ] Improve let and := docs

  Show description for 409fff8
  CodingCellist

  committed
  409fff8

  Copy full SHA for 409fff8

• [ doc ] Fix misunderstanding about plain := vs =

  Show description for 18eadae
  CodingCellist

  committed
  18eadae

  Copy full SHA for 18eadae

Commits on Dec 21, 2023

• [ doc:let ] Syntax errs, let reducing, sep stmts

  Show description for 6cd58ed
  CodingCellist

  committed
  6cd58ed

  Copy full SHA for 6cd58ed

Commits on Jan 2, 2024

• merge w/ upstream main

  mattpolzin

  committed
  c6743f8

  Copy full SHA for c6743f8

Commits on Jan 5, 2024

• [ doc ] Apply suggestions from gallais

  Show description for 67f5210
  

  CodingCellist

  and

  gallais

  authored
  67f5210

  Copy full SHA for 67f5210

• [ doc:let ] Attempt to clarify w vs w/o type ann

  CodingCellist

  committed
  4313e89

  Copy full SHA for 4313e89