Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-05-27 00:38:45) Adga のコードを含む記事を書いて公開できるようになりました!Reply
Agdaの記事を書くインフラがついに整ったのでこれから色々書いていきたい…
https://www.internal.tojo.tokyo/posts/agda-on-www-tojo-tokyo.html