|
.vscode
|
some fixes
|
2024-09-10 05:28:25 -05:00 |
|
.woodpecker
|
move woodpecker file
|
2024-10-22 21:50:32 -05:00 |
|
nix
|
nix builder changes
|
2024-10-21 06:42:20 -05:00 |
|
plugin
|
fix inner links
|
2024-09-18 16:22:37 -05:00 |
|
public
|
convert link
|
2024-10-19 17:33:38 -05:00 |
|
scripts
|
Update builder
|
2024-06-26 20:38:45 -05:00 |
|
src
|
main tag
|
2024-10-22 22:21:13 -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
|
Update
|
2024-06-26 20:29:52 -05:00 |
|
.envrc
|
nix
|
2024-06-26 18:18:25 -05:00 |
|
.gitattributes
|
unignore markdown files
|
2024-06-30 20:36:00 -05:00 |
|
.gitignore
|
some fixes
|
2024-09-10 05:28:25 -05:00 |
|
.prettierignore
|
sad
|
2023-10-12 17:22:58 -05:00 |
|
.prettierrc.json
|
progress
|
2023-08-30 22:47:22 -05:00 |
|
.tokeignore
|
more blog post wip
|
2024-09-18 14:43:34 -05:00 |
|
astro.config.ts
|
make stuff line up more
|
2024-09-20 13:12:58 -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
|
update rss
|
2024-10-22 22:10:58 -05:00 |
|
flake.lock
|
nix builder changes
|
2024-10-21 06:42:20 -05:00 |
|
flake.nix
|
nix builder changes
|
2024-10-21 06:42:20 -05:00 |
|
frontmatter.json
|
some fixes
|
2024-09-10 05:28:25 -05:00 |
|
package.json
|
update rss
|
2024-10-22 22:10:58 -05:00 |
|
pnpm-lock.yaml
|
update lockfile
|
2024-10-22 22:12:54 -05:00 |
|
README.md
|
update footer to include last updated date
|
2024-10-07 16:11:19 -05:00 |
|
tsconfig.json
|
compiler?
|
2023-09-08 05:10:52 -05:00 |
Michael Zhang
2745f390d9