rachel/rachel.cafe
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
the sources for my website https://rachel.cafe
51 Commits 1 Branch 0 Tags 49 MiB
HTML 99%
SCSS 0.5%
Nix 0.2%
Ruby 0.1%
9bdb9ac4d9
Go to file
depsterr 9bdb9ac4d9 :)
2023-03-22 19:39:46 +01:00
_archive archived some pages, edited SECD page a little bit 2022-12-09 20:14:17 +01:00
_drafts a favourite proof of mine 2023-03-06 18:33:28 +01:00
_includes add all my posts 2022-01-27 19:44:11 +01:00
_layouts :) 2023-03-22 19:39:46 +01:00
_posts a favourite proof of mine 2023-03-06 18:33:28 +01:00
agda move /misc to /agda, add KUIP and UIPK 2022-06-30 18:53:55 +02:00
assets CUP !!! 2023-03-04 00:20:48 +01:00
_config.yml move to rachel.cafe 2023-03-03 23:37:48 +01:00
.gitignore added work page to site 2023-01-28 14:11:09 +01:00
about.html add middle name 2023-03-12 19:30:37 +01:00
favicon.ico add favicon 2023-01-28 14:26:41 +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 add todo to readme 2023-03-05 21:48:06 +01:00
work.html :( 2023-03-20 16:23:12 +01:00

readme.md

rachel.cafe

sources for rachel.cafe. 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).

TODOs

  • use builtin katex support instead
  • switch to org mode?
  • write about F-algebras and algebraic datatypes