Code

Finish draft of the style guide#94

Code

Merged

emilyriehl merged 18 commits intorzk-lang:mainrzk-lang/sHoTT:mainfrom fredrik-bakke:style-guideCopy head branch name to clipboardOct 25, 2023

+526-193

Commits

Commits on Oct 6, 2023

• update typechecking commands

  fredrik-bakke

  committed
  ac1467c

  Copy full SHA for ac1467c

• fix file references

  fredrik-bakke

  committed
  ba6da6e

  Copy full SHA for ba6da6e

• sentence case in headers

  fredrik-bakke

  committed
  7eb3134

  Copy full SHA for 7eb3134

• first additions STYLEGUIDE.md

  fredrik-bakke

  committed
  027b9fc

  Copy full SHA for 027b9fc

• Merge branch 'main' into style-guide

  fredrik-bakke

  authored
  60480a7

  Copy full SHA for 60480a7

Commits on Oct 9, 2023

• styleguide WIP

  fredrik-bakke

  committed
  1497942

  Copy full SHA for 1497942

• adjust some wording STYLEGUIDE

  fredrik-bakke

  committed
  9c02a05

  Copy full SHA for 9c02a05

• style guide naming convention and other additions

  fredrik-bakke

  committed
  babea46

  Copy full SHA for babea46

• Merge branch 'main' into style-guide

  fredrik-bakke

  authored
  45ac664

  Copy full SHA for 45ac664

• add reminder to read style guide

  fredrik-bakke

  committed
  219cb92

  Copy full SHA for 219cb92

Commits on Oct 10, 2023

• Table of common descriptors

  fredrik-bakke

  committed
  d6a16ec

  Copy full SHA for d6a16ec

• example Eq-Σ

  fredrik-bakke

  committed
  a2fbdd7

  Copy full SHA for a2fbdd7

Commits on Oct 23, 2023

• Merge branch 'main' into style-guide

  

  Emily Riehl

  authored
  1fbba3b

  Copy full SHA for 1fbba3b

• Conclusions first!

  fredrik-bakke

  committed
  abbdde1

  Copy full SHA for abbdde1

• uses convention

  fredrik-bakke

  committed
  b4edfd9

  Copy full SHA for b4edfd9

• minor fixes

  fredrik-bakke

  committed
  fb1a341

  Copy full SHA for fb1a341

• convention for additional line break after :=

  fredrik-bakke

  committed
  ae5c4a4

  Copy full SHA for ae5c4a4

• some words on grouping

  fredrik-bakke

  committed
  36724eb

  Copy full SHA for 36724eb