A Crash Course in Idris 2(idris2.readthedocs.io)2 points·by jnash·há 4 anos·0 commentsidris2.readthedocs.ioA Crash Course in Idris 2https://idris2.readthedocs.io/en/latest/tutorial/index.html0 commentsPost comment—