Search results

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 <code>Concat.empty</code> in chapter "Interfaces" to something else

Status: Open.

#59 In stefan-hoeck/idris2-tutorial;

· stefan-hoeck opened on Mar 28, 2023

Missing <code>Prod</code> 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