commit 94da16f45ef4e89bfe3e891d42994a9fcf1b4b4f Author: depsterr Date: Wed Jan 26 21:35:10 2022 +0100 created basic site structure and added support for katex and lagda diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..2819725 --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +.jekyll-cache +.agda-html +_site +*.agdai diff --git a/_config.yml b/_config.yml new file mode 100644 index 0000000..79a8627 --- /dev/null +++ b/_config.yml @@ -0,0 +1,15 @@ +url: "https://depsterr.com" # the base hostname & protocol for your site, e.g. http://example.com +baseurl: "" # the subpath of your site, e.g. /blog +title: "depsterr.com" # the name of your site, e.g. ACME Corp. + +plugins: + - jekyll-feed + - jekyll-katex + - jekyll/agda + +exclude: + - "*.agdai" + +katex: + rendering_options: + throw_error: true diff --git a/_layouts/default.html b/_layouts/default.html new file mode 100644 index 0000000..a77047f --- /dev/null +++ b/_layouts/default.html @@ -0,0 +1,14 @@ + + + + + + {{ page.title }} - {{ site.title }} + + + + + + {{ content }} + + diff --git a/_posts/2022-01-26-test.lagda.md b/_posts/2022-01-26-test.lagda.md new file mode 100644 index 0000000..aeaec8e --- /dev/null +++ b/_posts/2022-01-26-test.lagda.md @@ -0,0 +1,20 @@ +--- +layout: default +title: "test" +--- +{% katexmm %} + +Hi :) + +$\sqrt{x + \frac{1}{2}}$ + +{% endkatexmm %} + +```agda +data ℕ : Set where + zero : ℕ + suc : ℕ → ℕ +``` + +Is `Set` clickable? Yes it is. +And the other keywords too! diff --git a/_sass/main.scss b/_sass/main.scss new file mode 100644 index 0000000..ebd6110 --- /dev/null +++ b/_sass/main.scss @@ -0,0 +1,9 @@ +$backgroundColor: #ffffff; +$bodyColor: #000000; +$bodyFont: -apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol"; + +body { + background: $backgroundColor; + color: $bodyColor; + font-family: $bodyFont; +} diff --git a/assets/css/main.scss b/assets/css/main.scss new file mode 100644 index 0000000..c35cc49 --- /dev/null +++ b/assets/css/main.scss @@ -0,0 +1,4 @@ +--- +--- + +@import "main"; diff --git a/index.html b/index.html new file mode 100644 index 0000000..ea1a3d7 --- /dev/null +++ b/index.html @@ -0,0 +1,12 @@ +--- +layout: default +title: "home" +--- +