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