Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-05-27 00:40:47) Agdaのコード含めた記事を書いて自分のサイトに公開するためのインフラが整いました!Reply
今後はこの仕組みで色々Agdaの記事を書いていきたいところ…
https://www.tojo.tokyo/posts/agda-on-www-tojo-tokyo.html