A Crash Course in Idris 2(idris2.readthedocs.io)2 ポイント·投稿者 jnash·4 年前·0 コメントidris2.readthedocs.ioA Crash Course in Idris 2https://idris2.readthedocs.io/en/latest/tutorial/index.html0 コメントコメントを投稿—