Code

Maintenance needed#118

Code

Merged

paulcadman merged 16 commits intomainanoma/juvix-docs:mainfrom maintenance-neededanoma/juvix-docs:maintenance-neededCopy head branch name to clipboardJul 11, 2024

+517-2,063

Commits

Commits on Jun 3, 2024

• update documentation for anoma/juvix#2700

  

  janmasrovira

  authored and

  jonaprieto

  committed
  313a1c4

  Copy full SHA for 313a1c4

• check docs

  jonaprieto

  committed
  11b72b3

  Copy full SHA for 11b72b3

• add w.i.p

  jonaprieto

  committed
  d1808f8

  Copy full SHA for d1808f8

• fix redirects

  jonaprieto

  committed
  378f3da

  Copy full SHA for 378f3da

• make pre-commit happy

  jonaprieto

  committed
  618526a

  Copy full SHA for 618526a

• add mkdocstrings

  jonaprieto

  committed
  c3b27cb

  Copy full SHA for c3b27cb

• Fix Package.juvix

  jonaprieto

  committed
  c00d58a

  Copy full SHA for c00d58a

• Add redirects

  jonaprieto

  committed
  ea23bbe

  Copy full SHA for ea23bbe

• Add GITBRANCH environ variable in mike file

  jonaprieto

  committed
  d29d782

  Copy full SHA for d29d782

• Fix: use extract-module-statements

  jonaprieto

  committed
  63c5660

  Copy full SHA for 63c5660

• Update mkdocs

  jonaprieto

  committed
  4dd2072

  Copy full SHA for 4dd2072

• Update requirements.txt

  jonaprieto

  committed
  7dcdfdd

  Copy full SHA for 7dcdfdd

Commits on Jul 11, 2024

• Changes for Juvix 0.6.3

  paulcadman

  committed
  b26fbc5

  Copy full SHA for b26fbc5

• Remove Hash module

  paulcadman

  committed
  02e4c26

  Copy full SHA for 02e4c26

• Remove obsolete blog posts

  paulcadman

  committed
  620774e

  Copy full SHA for 620774e

• Remove typeset plugin

  paulcadman

  committed
  eda83be

  Copy full SHA for eda83be