Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-03-30 08:48:00) なんか、Agdaで日付ライブラリを作ることに熱中しすぎて全てが二の次になっていたので直したいところ。。。とりあえずだいぶ完成しており、今後はこれを紹介する記事を書いていく漢字になる