Search results

[ ux ] explain or don't use compare on in solutions to chapter about data types.

Status: Open.

#92 In stefan-hoeck/idris2-tutorial;

· stefan-hoeck opened on Oct 28, 2025

Feature Request: with rule

Status: Open.

#81 In stefan-hoeck/idris2-tutorial;

· jgarte opened on Apr 17, 2025

Monad implies Applicative: pure needs to be implemented

Status: Open.

#74 In stefan-hoeck/idris2-tutorial;

· kaelte opened on Jan 22, 2025

[ ambiguity ] rename Concat.empty in chapter "Interfaces" to something else

Status: Open.

#59 In stefan-hoeck/idris2-tutorial;

· stefan-hoeck opened on Mar 28, 2023

Missing Prod definition in question 10 of Exercises part 2?

Status: Open.

#42 In stefan-hoeck/idris2-tutorial;

· gemmaro opened on Jul 26, 2022

[ doc ] Explain function application in the presence of infix operators

Status: Open.

#30 In stefan-hoeck/idris2-tutorial;

· stefan-hoeck opened on Mar 15, 2022

Interface Exercises: Explain showPrec better or drop related exercises.

Status: Open.

#28 In stefan-hoeck/idris2-tutorial;

· stefan-hoeck opened on Mar 3, 2022

Missing syntax

Status: Open.

#16 In stefan-hoeck/idris2-tutorial;

· stefan-hoeck opened on Feb 2, 2022