2023-03-03 23:37:48 +01:00
|
|
|
# [rachel.cafe](https://rachel.cafe)
|
2022-01-27 20:20:23 +01:00
|
|
|
|
2023-03-03 23:37:48 +01:00
|
|
|
sources for rachel.cafe. built using jekyll (without a theme).
|
2022-01-27 20:20:23 +01:00
|
|
|
|
|
|
|
|
## Depends
|
|
|
|
|
|
|
|
|
|
* jekyll
|
|
|
|
|
* jekyll-feed
|
|
|
|
|
* jekyll-katex (needs katex)
|
|
|
|
|
* jekyll-agda (needs agda)
|
2022-04-01 19:51:48 +02:00
|
|
|
* 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).
|
2023-03-05 21:48:06 +01:00
|
|
|
|
|
|
|
|
## TODOs
|
|
|
|
|
|
|
|
|
|
* use builtin katex support instead
|
|
|
|
|
* switch to org mode?
|
|
|
|
|
* write about F-algebras and algebraic datatypes
|
