Issues

• Prime in name of mapTR' in solution but not in exercise task

  idris-community/idris2-tutorial#19 · Filter by author JanBeh opened on Jun 17, 2026

• src/Solutions/Functor.idr not rendered correctly: backslash missing in lambda

  idris-community/idris2-tutorial#18 · Filter by author JanBeh opened on Jun 13, 2026

• Type of "the" not exactly as stated in the tutorial

  idris-community/idris2-tutorial#17 · Filter by author JanBeh opened on May 22, 2026

• Numbering in Exercises on Functions Part 2 seems to be wrong

  idris-community/idris2-tutorial#16 · Filter by author JanBeh opened on May 22, 2026

• Possible issue in the implementation of takeWhileExists

  idris-community/idris2-tutorial#11 · Filter by author emmatigakis opened on Jan 22, 2026

• 404 for Modules.md

  idris-community/idris2-tutorial#6 · Filter by author odunboye opened on Aug 30, 2025

• Proper reviews

  idris-community/idris2-tutorial#5 · Filter by author stefan-hoeck opened on Aug 20, 2025
  1

• Add option to skip Katla syntax highlighting in build-book script

  idris-community/idris2-tutorial#4 · Filter by author gemmaro opened on Aug 16, 2025
  5

• Typo

  idris-community/idris2-tutorial#2 · Filter by author jgarte opened on Aug 15, 2025
  1