Search results

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

Status: Open.

#19 In idris-community/idris2-tutorial;

· JanBeh opened on Jun 17, 2026

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

Status: Open.

#18 In idris-community/idris2-tutorial;

· JanBeh opened on Jun 13, 2026

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

Status: Open.

#17 In idris-community/idris2-tutorial;

· JanBeh opened on May 22, 2026

Numbering in Exercises on Functions Part 2 seems to be wrong

Status: Open.

#16 In idris-community/idris2-tutorial;

· JanBeh opened on May 22, 2026

Possible issue in the implementation of takeWhileExists

Status: Open.

#11 In idris-community/idris2-tutorial;

· emmatigakis opened on Jan 22, 2026

404 for Modules.md

Status: Open.

#6 In idris-community/idris2-tutorial;

· odunboye opened on Aug 30, 2025

Proper reviews

Status: Open.

#5 In idris-community/idris2-tutorial;

· stefan-hoeck opened on Aug 20, 2025

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

Status: Open.

#4 In idris-community/idris2-tutorial;

· gemmaro opened on Aug 16, 2025

Typo

Status: Open.

#2 In idris-community/idris2-tutorial;

· jgarte opened on Aug 15, 2025