gemmaro さんはインスタンス qiitadon.com のユーザーです。アカウントさえ持っていればフォローしたり会話したりできます。 もしお持ちでないなら こちら からサインアップできます。
gemmaro @gemmaro2

Idris2Docのテーマが右上から選べるようになっとる
github.com/idris-lang/Idris2/p
Black & White は白黒印刷に便利そう

· Web · 0 · 0