A Crash Course in Idris 2https://idris2.readthedocs.io/en/latest/tutorial/index.html by jnash • 4 years ago 2 0 4 years agoIDidris2.readthedocs.io