Code

Some doc related changes#1019

Code

Merged

ice1000 merged 7 commits intomainaya-prover/aya-dev:mainfrom docaya-prover/aya-dev:docCopy head branch name to clipboardNov 27, 2023

+50-44

Commits

Commits on Nov 21, 2023

• doc: undo flattening

  ice1000

  committed
  a00740b

Commits on Nov 22, 2023

• html: update js to the one from Agda

  ice1000

  committed
  34012c2

Commits on Nov 23, 2023

• misc: fix deprecations

  ice1000

  committed
  6d5ab52

• misc: more fixes ig?

  ice1000

  committed
  6be83e9

Commits on Nov 26, 2023

• js: fix @imkiva's reviews

  ice1000

  committed
  5510313

• doc: yml -> yaml

  Show description for 374917b
  

  ice1000

  and

  skylee03

  committed
  374917b

Commits on Nov 27, 2023

• doc: smol cat

  ice1000

  committed
  126d410