Things I Wish I Knew When Learning Idris

Please note, this post is a work in progress.

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
Posted on December 9, 2020
Last modified: Feb 26, 2021
Tags: Idris