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

''.concat(...a) より a.join('') のが、大きい配列に対して頑強なのか
github.com/idris-lang/Idris2/p

· Web · 0 · 0