Personal blog https://mzhang.io
Find a file
2024-06-26 19:42:02 -05:00
.vscode init astro 2023-08-30 19:30:45 -05:00
nix agda building! 2024-06-26 19:17:01 -05:00
plugin agda building! 2024-06-26 19:17:01 -05:00
public what the hell 2024-04-20 18:22:15 -05:00
scripts agda building! 2024-06-26 19:17:01 -05:00
src agda plugin 2024-06-26 18:18:47 -05:00
.build.yml use alpine/edge 2024-04-20 01:14:46 -05:00
.dockerignore docker shit 2023-10-11 13:09:15 -05:00
.editorconfig Revert mastodon testing changes 2021-11-01 01:02:23 -05:00
.envrc nix 2024-06-26 18:18:25 -05:00
.gitattributes git attributes 2024-04-21 18:24:14 -05:00
.gitignore Update dependencies 2024-06-26 19:42:02 -05:00
.prettierignore sad 2023-10-12 17:22:58 -05:00
.prettierrc.json progress 2023-08-30 22:47:22 -05:00
.tokeignore remove more technical stuff 2023-08-31 21:41:52 -05:00
.woodpecker.yml Update dependencies 2024-06-26 19:42:02 -05:00
astro.config.ts Update dependencies 2024-06-26 19:42:02 -05:00
biome.json add biome config 2024-05-29 13:32:27 -05:00
blog.agda-lib agda building! 2024-06-26 19:17:01 -05:00
bun.lockb agda building! 2024-06-26 19:17:01 -05:00
flake.lock nix 2024-06-26 18:18:25 -05:00
flake.nix Update dependencies 2024-06-26 19:42:02 -05:00
package.json Update dependencies 2024-06-26 19:42:02 -05:00
pnpm-lock.yaml Update dependencies 2024-06-26 19:42:02 -05:00
README.md update readme 2024-04-20 01:14:46 -05:00
tsconfig.json compiler? 2023-09-08 05:10:52 -05:00

Michael's Blog

https://mzhang.io

License: GPL-3.0 / CC-BY-SA-4.0