From 94da16f45ef4e89bfe3e891d42994a9fcf1b4b4f Mon Sep 17 00:00:00 2001 From: depsterr Date: Wed, 26 Jan 2022 21:35:10 +0100 Subject: [PATCH] created basic site structure and added support for katex and lagda --- .gitignore | 4 ++++ _config.yml | 15 +++++++++++++++ _layouts/default.html | 14 ++++++++++++++ _posts/2022-01-26-test.lagda.md | 20 ++++++++++++++++++++ _sass/main.scss | 9 +++++++++ assets/css/main.scss | 4 ++++ index.html | 12 ++++++++++++ 7 files changed, 78 insertions(+) create mode 100644 .gitignore create mode 100644 _config.yml create mode 100644 _layouts/default.html create mode 100644 _posts/2022-01-26-test.lagda.md create mode 100644 _sass/main.scss create mode 100644 assets/css/main.scss create mode 100644 index.html 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" +--- +