Personal blog https://mzhang.io
Find a file
Michael Zhang b781f83415
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
some slight wording updates on the last post
2023-03-30 03:44:29 -05:00
archetypes Hugo commit 2020-11-03 16:14:45 -06:00
assets/sass more on induction + implement language switcher 2023-03-30 03:29:11 -05:00
content some slight wording updates on the last post 2023-03-30 03:44:29 -05:00
data Add Forgejo link 2023-02-04 01:24:48 -06:00
layouts let's turn on the toc 2023-03-30 03:32:41 -05:00
scripts modify 2021-06-30 01:41:11 -05:00
static Add links to nav 2023-02-04 01:21:21 -06:00
.editorconfig Revert mastodon testing changes 2021-11-01 01:02:23 -05:00
.envrc Flake init 2023-02-04 01:21:21 -06:00
.gitignore Add the docker compose thing 2023-03-29 23:33:59 -05:00
.woodpecker.yml inductive types wip 2023-03-29 15:03:10 -05:00
blog.agda-lib add rss feed 2023-03-26 14:32:54 -05:00
config.toml some slight wording updates on the last post 2023-03-30 03:44:29 -05:00
flake.lock update lock 2023-02-04 01:21:21 -06:00
flake.nix Flake init 2023-02-04 01:21:21 -06:00
Justfile layout upd 2023-02-04 01:21:21 -06:00
README.md Add buidl status 2023-02-04 01:21:21 -06:00
todo.txt upd 2021-07-06 16:57:42 -05:00

Blog

Build status

Powers mzhang.io. Public replies at ~mzhang/public-inbox.

Standard hugo site.

Code License: GPL3

Content License: CC BY-SA 4.0