Code

[ wip ] katla generated markdown#22

Code

Open

stefan-hoeck wants to merge 12 commits intomainstefan-hoeck/idris2-sop:mainfrom docsstefan-hoeck/idris2-sop:docsCopy head branch name to clipboard

+1,470-5

Commits

Commits on Jun 18, 2022

• [ wip ] semantically highlighted docs

  stefan-hoeck

  committed
  e0472f0

  Copy full SHA for e0472f0

• [ md ] new index file

  stefan-hoeck

  committed
  1a31961

  Copy full SHA for 1a31961

• [ CI ] dont lint generated md

  stefan-hoeck

  committed
  2061ab5

  Copy full SHA for 2061ab5

• [ gp ] config for github pages

  stefan-hoeck

  committed
  08f822c

  Copy full SHA for 08f822c

• [ CI ] try again

  stefan-hoeck

  committed
  ab1fb2f

  Copy full SHA for ab1fb2f

• Set theme jekyll-theme-midnight

  stefan-hoeck

  authored
  b7bef5f

  Copy full SHA for b7bef5f

• Set theme jekyll-theme-slate

  stefan-hoeck

  authored
  99d9d16

  Copy full SHA for 99d9d16

• [ CI ] I'm dumb at regexes

  stefan-hoeck

  committed
  2800461

  Copy full SHA for 2800461

• Merge branch 'docs' of github.com:stefan-hoeck/idris2-sop into docs

  stefan-hoeck

  committed
  ac672e1

  Copy full SHA for ac672e1

• [ CI ] I'm dumb at regexes

  stefan-hoeck

  committed
  9bfcfa5

  Copy full SHA for 9bfcfa5

• [ CI ] bloody linters

  stefan-hoeck

  committed
  db90c16

  Copy full SHA for db90c16

• [ doc ] link to highlighted tutorial

  stefan-hoeck

  committed
  e4c9df0

  Copy full SHA for e4c9df0