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

Note Detail

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 19:40:39)
これからはCubical Agdaの学習に集中したいと思う。学習する価値が極めて高い気がする。

---Replies---

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 20:08:37)
1labのドキュメントを読んでいくのが良さそうな雰囲気らしい
https://1lab.dev/