Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-05-27 00:49:53)
過去記事を振り返ってみたら、私の闇のお手製な静的サイトジェネレーティングについてしっかり記事を書いて公開してるじゃん……

https://www.tojo.tokyo/posts/create-website-with-emacs.html

---Replies---

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-05-27 00:50:58)
この仕組みに今回 agda コードを載せる場合のロジックが追加されたと…