Posts tagged "Idris"

• Things I Wish I Knew When Learning Idris Unfinished
  Lessons and ideas that, had I known them when I started, would have made learning Idris a lot easier.
• Advent of Code 2020, in Idris Unfinished
  Thoughts and feedback on using Idris for solving the Advent of Code 2020 problems