the sources for my website https://rachel.cafe
Go to file
2023-01-27 23:06:43 +01:00
_archive archived some pages, edited SECD page a little bit 2022-12-09 20:14:17 +01:00
_drafts another thing I'd like to write sometime 2022-12-24 02:09:20 +01:00
_includes add all my posts 2022-01-27 19:44:11 +01:00
_layouts added about page 2023-01-27 17:38:22 +01:00
_posts consistent naming 2022-12-24 02:07:43 +01:00
agda move /misc to /agda, add KUIP and UIPK 2022-06-30 18:53:55 +02:00
assets added about page 2023-01-27 17:38:22 +01:00
_config.yml I'm an idiot 2022-04-01 20:11:04 +02:00
.gitignore created basic site structure and added support for katex and lagda 2022-01-26 21:35:10 +01:00
about.html fix dead link 2023-01-27 23:06:43 +01:00
index.html minimize website 2022-10-08 15:13:30 +02:00
LICENSE switch to using 'monospace' rather than firacode. self host katex 2022-04-01 19:51:48 +02:00
readme.md switch to using 'monospace' rather than firacode. self host katex 2022-04-01 19:51:48 +02:00

depsterr.com

sources for depsterr.com. built using jekyll (without a theme).

Depends

  • jekyll
  • jekyll-feed
  • jekyll-katex (needs katex)
  • jekyll-agda (needs agda)
  • jekyll-minifier

Aknowlegdements

This repository contains katex code for self hosting katex. This code is used under the MIT LICENSE (for details, read the LICENSE file).