Things I Wish I Knew When Learning Idris

This is a test link

• Packages (e.g. contrib)
• Parser/lexer libraries
• implicit arguments
• proof search / auto implicit arguments http://docs.idris-lang.org/en/latest/tutorial/miscellany.html?highlight=auto%20#auto-implicit-arguments4